scientific article; zbMATH DE number 3657784

MaRDI QIDQ3856748zbMATH OpenFDO

Authors Maurice Boffa, Gregory Cherlin

Publication date 1980

zbMATH Keywords

commutative regular ringssheafs of structures on a Cantor space

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Applications of logic to commutative algebra (13L05)

Cited in

(3)

• Quantifier elimination in discriminator varieties
• Boolean products of real closed valuation rings and fields
• Elimination of quantifiers for a theory of real closed rings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3856748)