scientific article; zbMATH DE number 3935014

zbMATH Open0584.03020MaRDI QIDQ3708784FDOQ3708784

Authors: Alain Touraille 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

elementary equivalence

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)