Independence Results in Algebraic Logic

Author: Sayed-Ahmed, Tarek

Source: Logic Journal of the IGPL, Volume 14, Number 1, 15 January 2006 , pp. 87-96(10)

Buy & download fulltext article:

Price: $42.29 plus tax (Refund Policy)

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.

Keywords: Algebraic logic, Omitting types, Martin's axiom, B

Document Type: Research article

DOI: http://dx.doi.org/10.1093/jigpal/jzi058

Publication date: 2006-01-15

More about this publication?

Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.