Boolean products of real closed valuation rings and fields
DOI10.1016/S0168-0072(01)00022-7zbMath0993.03046WikidataQ127190306 ScholiaQ127190306MaRDI QIDQ5956886
Publication date: 16 September 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
rings of continuous functionsBoolean productelementary equivalenceelimination of quantifiersprojectable \(f\)-ringreal closed ringrings of definable functions
Associative rings of functions, subdirect products, sheaves of rings (16S60) Model-theoretic algebra (03C60) Real-valued functions in general topology (54C30) Ordered rings, algebras, modules (06F25) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Ordered rings (13J25)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Real closed rings. II. Model theory
- Quantifier elimination in discriminator varieties
- Model theory.
- Model-completeness and elimination of quantifiers for subdirect products of structures
- Groupes et anneaux reticules
- Hausdorff gaps and limits
- Théories d'algèbres de Boole munies d'idéaux distingués. II
- The first order properties of products of algebraic systems
- REAL CLOSED RINGS AND ORDERED VALUATION RING
- Algebraic theories with definable Skolem functions
- Real closed rings, I. Residue rings of rings of continuous functions
- Elimination of quantifiers for ordered valuation rings
- Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires
- Model-completeness for sheaves of structures
- Artin-Schreier theory for commutative regular rings
- A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
- Sheaf Constructions and Their Elementary Properties
- Hyper-regular lattice-ordered groups
- The Elementary Classes of Direct and Boolean Products
- The Space of Minimal Prime Ideals of a Commutative Ring
This page was built for publication: Boolean products of real closed valuation rings and fields