Elimination of quantifiers of a theory of real closed rings.

 

Guardado en:
Sonraí Bibleagrafaíochta
Údar: Guier Acosta, Jorge Ignacio
Formáid: artículo preliminar
Fecha de Publicación:2022
Cur Síos: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.
País:Kérwá
Institiúid:Universidad de Costa Rica
Repositorio:Kérwá
Teanga:Inglés
OAI Identifier:oai:kerwa.ucr.ac.cr:10669/87524
Rochtain Ar Líne:https://hdl.handle.net/10669/87524
Palabra clave:Real closed rings
Model theory
Elimination of quantifiers
projectable f-rings