Elimination of quantifiers of a theory of real closed rings.
| dc.creator | Guier Acosta, Jorge Ignacio | |
| dc.date.accessioned | 2022-10-24T19:21:57Z | |
| dc.date.available | 2022-10-24T19:21:57Z | |
| dc.date.issued | 2022-10-09 | |
| dc.description.abstract | 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 binary relation is introduced in order to prove the elimination of quantifiers of the theory T* in the language of lattice-ordered rings adding the divisibility relation, the radical relation associated to the minimal prime spectrum and this new local divisibility relation. | 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.sponsorship | Universidad de Costa Rica | es_ES |
| dc.identifier.codproyecto | 821-B9-128 | |
| dc.identifier.uri | https://hdl.handle.net/10669/87524 | |
| dc.language.iso | eng | es_ES |
| dc.rights | acceso abierto | |
| dc.subject | Real closed rings | es_ES |
| dc.subject | Model theory | es_ES |
| dc.subject | Elimination of quantifiers | es_ES |
| dc.subject | projectable f-rings | es_ES |
| dc.title | Elimination of quantifiers of a theory of real closed rings. | es_ES |
| dc.type | artículo preliminar | es_ES |