scientific article; zbMATH DE number 3935014

MaRDI QIDQ3708784zbMATH OpenFDO

Authors Alain Touraille

Publication date 1985

zbMATH Keywords

elementary equivalence

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires
• scientific article; zbMATH DE number 3922644
• Théories d'algèbres de Boole munies d'idéaux distingués. II
• scientific article; zbMATH DE number 3957070
• The Theory of Boolean Algebras With Q₀ and Quantification Over Ideals
• Quantifier elimination in discriminator varieties
• Elimination of quantifiers in algebraic structures
• Quantifier Elimination for Distributive Lattices and Measure Algebras
• Quantifier elimination in pairs of algebraically closed fields

Cited in

(5)

• scientific article; zbMATH DE number 4055586 (Why is no real title available?)
• The word problem for \(Heyting^ *\) algebras
• Théories d'algèbres de Boole munies d'idéaux distingués. II
• A uniform method for proving lower bounds on the computational complexity of logical theories
• scientific article; zbMATH DE number 203219 (Why is no real title available?)

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 Q3708784)