An Omitting Types Theorem for first order logic with infinitary relation symbols
From MaRDI portal
Publication:5434201
DOI10.1002/malq.200610050zbMath1153.03044OpenAlexW2001161946MaRDI QIDQ5434201
Tarek Sayed Ahmed, Basim Samir
Publication date: 4 January 2008
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610050
Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items
New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Some results about neat reducts ⋮ A note on substitutions in representable cylindric algebras
Cites Work