An Interpolation Theorem for First Order Logic with Infinitary Predicates

DOI10.1093/jigpal/jzl030zbMath1129.03018OpenAlexW2108926469MaRDI QIDQ3442399

Tarek Sayed Ahmed

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/jzl030

zbMATH Keywords

interpolationalgebraic logiccylindric algebra

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items

Varying interpolation and amalgamation in polyadic MV-algebras, New perspectives in algebraic logic, from neat embeddings to Erdős graphs, Neat embeddings as adjoint situations, Some results about neat reducts, The class of polyadic algebras has the super amalgamation property