Repository logo
 

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

Date

2021-01

Authors

Guier Acosta, Jorge Ignacio

Journal Title

Journal ISSN

Volume Title

Publisher

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∗.

Description

Keywords

Model completeness, Real closed ring, Local divisibility

Citation

http://www.logique.jussieu.fr/semsao/index.html

Collections

Endorsement

Review

Supplemented By

Referenced By