An Interpolation Theorem for First Order Logic with Infinitary Predicates

Logic Journal of the IGPL 15 (1):21-32 (2007)
  Copy   BIBTEX

Abstract

An interpolation Theorem is proved for first order logic with infinitary predicates. Our proof is algebraic via cylindric algebras.1

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzl030

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,945

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
Interpolation for first order S5.Melvin Fitting - 2002 - Journal of Symbolic Logic 67 (2):621-634.
An Institution-Independent Proof of the Robinson Consistency Theorem.Daniel Gâinâ & Andrei Popescu - 2007 - Studia Logica 85 (1):41-73.
A Complete First-Order Logic with Infinitary Predicates.H. J. Keisler - 1966 - Journal of Symbolic Logic 31 (2):269-269.
A Neat Embedding Theorem For Expansions Of Cylindric Algebras.Tarek Sayed-Ahmed & Basim Samir - 2007 - Logic Journal of the IGPL 15 (1):41-51.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341-357.

Analytics

Added to PP
2015-02-04

Downloads
50 (#476,066)

6 months
13 (#246,157)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Three interpolation theorems for typeless logics.T. Sayed Ahmed - 2012 - Logic Journal of the IGPL 20 (6):1001-1037.
Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references