scientific article

zbMath0532.03016MaRDI QIDQ3313850

Lutz Heindorf

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

topological invariantsdecidabilityrings of continuous functionsultrafiltercategoricityaxiomatizabilityexpressive power of languages for Boolean algebrasLöwenheim-Skolem- Theoremsquantification over idealstheories of Boolean algebras in non-elementary languages

Mathematics Subject Classification ID

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

Related Items (3)

Alternative characterizations of finitary and well-founded Boolean algebras ⋮ Moderate families in Boolean algebras ⋮ Corrigendum to “Taxonomies of model-theoretically defined topological properties”

This page was built for publication: