Notions of representability for cylindric algebras: some algebras are more representable than others

DOI10.1007/s10998-022-00477-3OpenAlexW4286321834MaRDI QIDQ6155552

Tarek Sayed Ahmed

Publication date: 5 June 2023

Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10998-022-00477-3

zbMATH Keywords

modal logicalgebraic logicneat embeddingsrepresentableomitting typescylindric algebraatom structreatom-canonicity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Coloring of graphs and hypergraphs (05C15) Cylindric and polyadic algebras; relation algebras (03G15) Other model constructions (03C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The class of completely representable polyadic algebras of infinite dimensions is elementary
• Cylindric-like algebras and algebraic logic
• Relation algebras by games
• Cylindric algebras. Part II
• Atom structures of cylindric algebras and relation algebras
• A note on algebras of substitutions
• The class of neat reducts is not elementary
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Non-finite-axiomatizability results in algebraic logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• Complete representations in algebraic logic
• Various notions of represetability for cylindric and polyadic algebras
• Omitting types for finite variable fragments and complete representations of algebras

This page was built for publication: Notions of representability for cylindric algebras: some algebras are more representable than others