ListarMatemática por tema "Real closed rings"
Mostrando ítems 1-1 de 1
-
Elimination of quantifiers of a theory of real closed rings.
(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 ...