Quantifier elimination in discriminator varieties

DOI10.1016/0168-0072(86)90045-XzbMath0606.03008OpenAlexW2002350021MaRDI QIDQ1084391

Françoise Point

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90045-x

zbMATH Keywords

locally boolean sheaf representation

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Congruence modularity, congruence distributivity (08B10) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Boolean products of real closed valuation rings and fields

Cites Work

• Model theory
• Decidable varieties with modular congruence lattices
• Model-completeness for sheaves of structures
• Sheaf Constructions and Their Elementary Properties
• Some applications of infinitely long formulas
• Unnamed Item
• Unnamed Item