• Elimination of quantifiers of a theory of real closed rings. 

      Guier Acosta, Jorge Ignacio (2022-10-09)
      Let T* be the theory of lattice-ordered subrings, without minimal (non zero) idempontents, convex in von Neumann regular real closed rings that are divisible-proyectable and sc-regular. In this paper, a local divisibility ...