A Neat Embedding Theorem for Expansions of Cylindric Algebras
From MaRDI portal
Publication:3442401
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
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