Show simple item record

dc.creatorGuier Acosta, Jorge Ignacio
dc.date.accessioned2021-10-31T18:27:18Z
dc.date.available2021-10-31T18:27:18Z
dc.date.issued2021-01
dc.identifier.citationhttp://www.logique.jussieu.fr/semsao/index.html
dc.identifier.urihttps://hdl.handle.net/10669/84950
dc.description.abstractLet 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 local divisibility. If this relation is added to the language of lattice ordered rings with the radical relation associated to the minimal prime spectrum (cf. [12]), it can be shown the model completeness of T∗.es_ES
dc.description.sponsorshipUniversidad de Costa Rica/[821-B9-128]/UCR/Costa Ricaes_ES
dc.language.isoenges_ES
dc.sourceSeminaire Structures Algébriques Ordonnées, Equipe de Logique Mathématiques, Prépublications.París, Francia: Université de Paris, 2018-2020es_ES
dc.subjectModel completenesses_ES
dc.subjectReal closed ringes_ES
dc.subjectLocal divisibilityes_ES
dc.titleLocal divisibility and model completeness of a theory of real closed ringses_ES
dc.title.alternativeDivisibilité locale et modèle complétude en théorie des anneaux réels-closes_ES
dc.typecomunicación de congreso
dc.description.procedenceUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias Básicas::Centro de Investigaciones en Matemáticas Puras y Aplicadas (CIMPA)es_ES
dc.description.procedenceUCR::Vicerrectoría de Docencia::Ciencias Básicas::Facultad de Ciencias::Escuela de Matemáticaes_ES
dc.identifier.codproyecto821-B9-128


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record