scientific article; zbMATH DE number 3843733

MaRDI QIDQ3313850zbMATH OpenFDO

Authors Lutz Heindorf

Publication date 1984

zbMATH Keywords

axiomatizabilitycategoricitydecidabilityexpressive power of languages for Boolean algebrasLöwenheim-Skolem- Theoremsquantification over idealsrings of continuous functionstheories of Boolean algebras in non-elementary languagestopological invariantsultrafilter

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35) Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80) Structure theory of Boolean algebras (06E05)

Recommendations

• scientific article; zbMATH DE number 3912445
• scientific article; zbMATH DE number 3948237
• scientific article; zbMATH DE number 3884128
• Enrichments of Boolean algebras by Presburger predicates
• scientific article; zbMATH DE number 1302871

Cited in

(9)

• Alternative characterizations of finitary and well-founded Boolean algebras
• Moderate families in Boolean algebras
• scientific article; zbMATH DE number 3851077 (Why is no real title available?)
• Corrigendum to “Taxonomies of model-theoretically defined topological properties”
• On Löwenheim numbers for skeletons of varieties of Boolean algebras
• scientific article; zbMATH DE number 3912445 (Why is no real title available?)
• scientific article; zbMATH DE number 4064972 (Why is no real title available?)
• Enrichments of Boolean algebras by Presburger predicates
• On some questions in the theory of ordered sets, model theory and universal algebra

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