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)
Publisher: Oxford University Press
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
- 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.
- In this: publication
- By this: publisher
- By this author: Sayed-Ahmed, Tarek

Shopping cart
Receive new issue alert