Complete Representations and Neat Embeddings

DOI10.18778/0138-0680.2022.17OpenAlexW4297850828MaRDI QIDQ6200452

Tarek Sayed Ahmed

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2022.17

zbMATH Keywords

relation algebrasalgebraic logiccylindric algebrascombinatorial game theoryatom-canonicity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric-like algebras and algebraic logic
• Relation algebras by games
• Cylindric algebras. Part II
• Atom structures of cylindric algebras and relation algebras
• The class of neat reducts is not elementary
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• Complete representations in algebraic logic
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Blow Up and Blur Constructions in Algebraic Logic
• Various notions of represetability for cylindric and polyadic algebras
• Relation algebra reducts of cylindric algebras and complete representations
• Omitting types for finite variable fragments and complete representations of algebras
• On neat reducts of algebras of logic

This page was built for publication: Complete Representations and Neat Embeddings