The model-theoretic significance of complemented existential formulas

Journal of Symbolic Logic 46 (4):843-850 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273232

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Ramseyfication and theoretical content.Joseph Melia & Juha Saatsi - 2006 - British Journal for the Philosophy of Science 57 (3):561-585.
Ah, Chu!Solomon Feferman - unknown
The Philosophical Significance of Tennenbaum’s Theorem.T. Button & P. Smith - 2012 - Philosophia Mathematica 20 (1):114-121.
Models and modality.Patricia A. Blanchette - 2000 - Synthese 124 (1-2):45-72.
Quantifier elimination for neocompact sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
The model-theoretic ordinal analysis of theories of predicative strength.Jeremy Avigad & Richard Sommer - 1999 - Journal of Symbolic Logic 64 (1):327-349.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Structure with Fast Elimination of Quantifiers.Mihai Prunescu - 2006 - Journal of Symbolic Logic 71 (1):321 - 328.

Analytics

Added to PP
2009-01-28

Downloads
29 (#553,855)

6 months
6 (#530,265)

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

Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.
A note on ℵ0-categorical model-companions.Volker Weispfenning - 1978 - Archive for Mathematical Logic 19 (1):23-29.

Add more references