Listar Matemática por autor "ddb802c9-a152-485d-bddb-e0c06503138b"
Mostrando ítems 1-3 de 3
-
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 ... -
Local divisibility and model completeness of a theory of real closed rings
Guier Acosta, Jorge Ignacio (2021-01)Let T∗ be the theory of lattice-ordered rings convex in von Neumann regular real closed f-rings, without minimal idempotents (non zero) that are divisible-projectable and sc-regular. I introduce a binary relation describing ... -
Teorías y propiedades universales de una teoría de anillos real cerrados (Informe Final Proyecto B9128)
Guier Acosta, Jorge Ignacio (2021)Sea $T^\ast$ la teor\'{\i}a de los subanillos reticulados que son convexos en los $f$-anillos von Neumann regulares real cerrados, y que adem\'as no tienen elementos idempotentes minimales (no-cero) y que son divisible-p ...