STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES

DOI10.1017/jsl.2016.11zbMath1380.03074OpenAlexW2519844569MaRDI QIDQ2976380

Charles C. Pinter

Publication date: 28 April 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2016.11

zbMATH Keywords

saturated modelscylindric algebraStone spacescompleteness, algebraic model theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Cylindric and polyadic algebras; relation algebras (03G15) Topological representations of algebraic systems (54H10) Categoricity and completeness of theories (03C35)

Cites Work

• A duality for Boolean algebras with operators
• Notions of density that imply representability in algebraic logic
• MacNeille completions of lattice expansions
• Varieties of complex algebras
• Bounded distributive lattice expansions
• Some variants of Vaught's conjecture from the perspective of algebraic logic
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Boolean Algebras with Operators. Part I
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators

This page was built for publication: STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES