Independence Results in Algebraic Logic

Logic Journal of the IGPL 14 (1):87-96 (2006)
  Copy   BIBTEX

Abstract

We formulate several statements in Algebraic Logic that turn out to be independent of ZFC. We relate such statements to Martin's axiom, omitting types for variants of first order logic and topological properties of Baire spaces

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzi058

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.
An independence result in algebraic logic.Tarek Sayed Ahmed - 2005 - Bulletin of the Section of Logic 34 (1):29-36.
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.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Finitary algebraic logic II.Roger D. Maddux - 1993 - Mathematical Logic Quarterly 39 (1):566-569.
Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (6):755-802.
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (4):429-483.
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.George Voutsadakis - 2004 - Logic Journal of the IGPL 12 (4):313-333.
A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.
Some Results on Amalgamation in Algebraic Logic.Tarek Ahmed - 2006 - Logic Journal of the IGPL 14 (4):623-627.
A non-finitizability result in algebraic logic.Tarek Sayed Ahmed - 2007 - Bulletin of the Section of Logic 36 (1/2):21-27.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.

Analytics

Added to PP
2015-02-04

Downloads
23 (#637,895)

6 months
5 (#510,007)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references