×

zbMATH — the first resource for mathematics

Élimination des quantificateurs dans la théorie élémentaire des algèbres de Boole munies d’une famille d’idéaux distingués. (Elimination of quantifiers in the elementary theory of Boolean algebras with a family of distinguished ideals). (French) Zbl 0584.03020
The author develops an elimination of quantifiers, leading to a criterion for elementary equivalence, for the theory of Boolean algebras with n distinguished ideals.
Reviewer: J.P.Burgess

MSC:
03C10 Quantifier elimination, model completeness, and related topics
03C65 Models of other mathematical theories
PDF BibTeX XML Cite