Local divisibility and model completeness of a theory of real closed rings

Guier Acosta, Jorge Ignacio

Local divisibility and model completeness of a theory of real closed rings

dc.creator	Guier Acosta, Jorge Ignacio
dc.date.accessioned	2021-10-31T18:27:18Z
dc.date.available	2021-10-31T18:27:18Z
dc.date.issued	2021-01
dc.description.abstract	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 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.procedence	UCR::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.procedence	UCR::Vicerrectoría de Docencia::Ciencias Básicas::Facultad de Ciencias::Escuela de Matemática	es_ES
dc.description.sponsorship	Universidad de Costa Rica/[821-B9-128]/UCR/Costa Rica	es_ES
dc.identifier.citation	http://www.logique.jussieu.fr/semsao/index.html
dc.identifier.codproyecto	821-B9-128
dc.identifier.uri	https://hdl.handle.net/10669/84950
dc.language.iso	eng	es_ES
dc.rights	acceso abierto
dc.source	Seminaire Structures Algébriques Ordonnées, Equipe de Logique Mathématiques, Prépublications.París, Francia: Université de Paris, 2018-2020	es_ES
dc.subject	Model completeness	es_ES
dc.subject	Real closed ring	es_ES
dc.subject	Local divisibility	es_ES
dc.title	Local divisibility and model completeness of a theory of real closed rings	es_ES
dc.title.alternative	Divisibilité locale et modèle complétude en théorie des anneaux réels-clos	es_ES
dc.type	comunicación de congreso

Files

Original bundle

Now showing 1 - 1 of 1

Name:: ModeloCompleteness (Guier).pdf
Size:: 250.66 KB
Format:: Adobe Portable Document Format
Description:: Memorias del seminario sobre Estructuras Algebraicas Ordenadas de la Universidad de París.

Download

License bundle

Now showing 1 - 1 of 1

Name:: license.txt
Size:: 3.5 KB
Format:: Item-specific license agreed upon to submission
Description:

Download

Collections

Matemática