Omitting Types in an Intermediate Logic

&
Studia Logica 97 (3):319-328 (2011)
  Copy   BIBTEX

Abstract

We prove an omitting types theorem and one direction of the related Ryll-Nardzewski theorem for semi-classical theories introduced in [2].

Categories

Keywords

Reprint years

DOI

10.1007/s11225-011-9310-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

Constructions of classical models by means of Kripke models (survey).Bernd I. Dahn - 1979 - Studia Logica 38 (4):401 - 405.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
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.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.
Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
An omitting types theorem for saturated structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
Forcing and the Omitting Types Theorem For Lt.W. Sachwanowicz - 1986 - Mathematical Logic Quarterly 32 (6):89-94.
The role of the Omitting Types Theorem in infinitary logic.Jon Barwise - 1981 - Archive for Mathematical Logic 21 (1):55-68.

Analytics

Added to PP
2013-09-30

Downloads
4 (#1,644,260)

6 months
31 (#107,547)

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

Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
Some preservation theorems in an intermediate logic.Seyed M. Bagheri - 2006 - Mathematical Logic Quarterly 52 (2):125-133.
Diagram Construction in Intuitionistic Logic.Seyed Bagheri & Massoud Pourmahdian - 2006 - Logic Journal of the IGPL 14 (6):889-901.

Add more references