Martin's axiom, omitting types, and complete representations in algebraic logic

Studia Logica 72 (2):285 - 309 (2002)
  Copy   BIBTEX

Abstract

We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a many-dimensional modal logic

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

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

Through your library

Similar books and articles

Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
Rectangular games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.

Analytics

Added to PP
2009-01-28

Downloads
53 (#267,003)

6 months
5 (#244,526)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references