Publication:3313850
From MaRDI portal
zbMath0532.03016MaRDI QIDQ3313850
Publication date: 1984
topological invariants; decidability; rings of continuous functions; ultrafilter; categoricity; axiomatizability; expressive power of languages for Boolean algebras; Löwenheim-Skolem- Theorems; quantification over ideals; theories of Boolean algebras in non-elementary languages
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
03C80: Logic with extra quantifiers and operators
06E05: Structure theory of Boolean algebras
03C10: Quantifier elimination, model completeness, and related topics
03C35: Categoricity and completeness of theories
Related Items
Alternative characterizations of finitary and well-founded Boolean algebras, Moderate families in Boolean algebras, Corrigendum to “Taxonomies of model-theoretically defined topological properties”