Mostrar el registro sencillo del ítem
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.identifier.citation | http://www.logique.jussieu.fr/semsao/index.html | |
| dc.identifier.uri | https://hdl.handle.net/10669/84950 | |
| 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.sponsorship | Universidad de Costa Rica/[821-B9-128]/UCR/Costa Rica | es_ES |
| dc.language.iso | eng | es_ES |
| 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 | |
| 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.identifier.codproyecto | 821-B9-128 |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Matemática [232]