THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS

DOI10.1017/jsl.2013.20zbMath1328.03057OpenAlexW1998056081MaRDI QIDQ2921030

Tarek Sayed Ahmed, Robin Hirschl

Publication date: 30 September 2014

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

Full work available at URL: http://discovery.ucl.ac.uk/1402074/7/Hirsch%20et%20al.%20neat_embedding_final.pdf

zbMATH Keywords

algebraic logiccylindric algebrasneat embeddingsneat reductssubstitution algebrasquasi-polyadic algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Quasi-polyadic algebras and their dual position, On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality, Varying interpolation and amalgamation in polyadic MV-algebras, On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results, A brief history of Tarskian algebraic logic with new perspectives and innovations, Notions of representability for cylindric algebras: some algebras are more representable than others, Complete Representations and Neat Embeddings, Interpolation and amalgamation in modal cylindric algebras, Neat embeddings as adjoint situations, Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic, Blow Up and Blur Constructions in Algebraic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Cylindric algebras. Part II
• The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
• Notions of density that imply representability in algebraic logic
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Provability with Finitely Many Variables
• Representation theory for polyadic algebras