Omitting Types of Prenex Formulas

Journal of Symbolic Logic 39 (1):182-182 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272372

Links

PhilArchive



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

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

Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
Review: C. C. Chang, Omitting Types of Prenex Formulas. [REVIEW]H. Simmons - 1974 - Journal of Symbolic Logic 39 (1):182-182.
An Omitting Types Theorem for Sheaves over Topological Spaces.Andreas Brunner & Francisco Miraglia - 2004 - Logic Journal of the IGPL 12 (6):525-548.
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 in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
Simulating non-prenex cuts in quantified propositional calculus.Emil Jeřábek & Phuong Nguyen - 2011 - Mathematical Logic Quarterly 57 (5):524-532.
An Omitting Types Theorem for positive bounded formulas in normed spaces.Carlos Ortiz - 2001 - Annals of Pure and Applied Logic 108 (1-3):279-294.
Omitting types in fuzzy logic with evaluated syntax.Petra Murinová & Vilém Novák - 2006 - Mathematical Logic Quarterly 52 (3):259-268.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Omitting types and AF algebras.Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira & Alexander Sherman - 2014 - Archive for Mathematical Logic 53 (1):157-169.
An Herbrand theorem for prenex formulas of LJ.Kenneth A. Bowen - 1976 - Notre Dame Journal of Formal Logic 17 (2):263-266.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,519,079)

6 months
2 (#1,229,212)

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