scientific article
From MaRDI portal
Publication:3856748
zbMath0423.03033MaRDI QIDQ3856748
Maurice Boffa, Gregory L. Cherlin
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
Quantifier elimination in discriminator varieties ⋮ Boolean products of real closed valuation rings and fields
This page was built for publication:
