scientific article; zbMATH DE number 1396731

MaRDI QIDQ4936683zbMATH OpenFDO

Authors V. Yu. Kramer

Publication date 31 January 2000

zbMATH Keywords

\(m\)-elementary equivalenceback-and-forth methodEhrenfeucht gameelementary equivalenceidealssuperatomic Boolean algebra

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Structure theory of Boolean algebras (06E05) Decidability and field theory (12L05)

Recommendations

• Complete description for m-equivalence types of superatomic I-algebras
• Some Boolean algebras with finitely many distinguished ideals II
• scientific article; zbMATH DE number 3922644
• Isomorphy types of superatomic Boolean algebras with one distinguished ideal
• scientific article; zbMATH DE number 4055586

Cited in

(6)

• Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular
• Internalizing equality in Boolean algebras
• Elementary equivalence in the language of list superstructures
• Complete description for m-equivalence types of superatomic I-algebras
• scientific article; zbMATH DE number 5284449 (Why is no real title available?)
• scientific article; zbMATH DE number 3922644 (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 Q4936683)