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

DOI10.1007/S10998-022-00477-3MaRDI QIDQ6155552zbMATH OpenOpenAlexFDO

Authors Tarek Sayed Ahmed

Publication date 5 June 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

modal logicalgebraic logicrepresentableomitting typescylindric algebraneat embeddingsatom structreatom-canonicity

Mathematics Subject Classification ID

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

Recommendations

• On representability of neatly embeddable cylindric algebras
• Various notions of represetability for cylindric and polyadic algebras
• On the representability of neatly embeddable CA's by cylindric relativized algebras
• On neat embeddings of cylindric algebras
• Strongly representable atom structures of cylindric algebras

Cites work

• A note on algebras of substitutions
• Atom structures of cylindric algebras and relation algebras
• Complete representations in algebraic logic
• Completions and complete representations
• Completions, complete representations and omitting types
• Cylindric algebras. Part II
• Cylindric-like algebras and algebraic logic
• Neat reducts and neat embeddings in cylindric algebras
• Non-finite-axiomatizability results in algebraic logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• Omitting types for finite variable fragments and complete representations of algebras
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Relation algebras by games
• The class of completely representable polyadic algebras of infinite dimensions is elementary
• The class of neat reducts is not elementary
• The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
• Various notions of represetability for cylindric and polyadic algebras

Cited in

(1)

• A note on substitutions in representable cylindric algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6155552)