A Neat Embedding Theorem for Expansions of Cylindric Algebras

DOI10.1093/jigpal/jzl032zbMath1119.03066OpenAlexW2079076596MaRDI QIDQ3442401

Tarek Sayed Ahmed, Basim Samir

Publication date: 18 May 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzl032

zbMATH Keywords

cylindric algebrasnon-finite axiomatizabilityneat embeddingfinitization problem

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS ⋮ Applied neat reducts on some classes of algebras ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Some results about neat reducts ⋮ Strong Amalgamation in Systems of Varieties ⋮ A note on substitutions in representable cylindric algebras ⋮ On conservative extensions in logics with infinitary predicates