Boolean products of real closed valuation rings and fields

DOI10.1016/S0168-0072(01)00022-7zbMath0993.03046WikidataQ127190306 ScholiaQ127190306MaRDI QIDQ5956886

Jorge I. Guier

Publication date: 16 September 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

rings of continuous functionsBoolean productelementary equivalenceelimination of quantifiersprojectable \(f\)-ringreal closed ringrings of definable functions

Mathematics Subject Classification ID

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)

Positive primitive formulae of modules over rings of semi-algebraic functions on a curve

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