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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Structure with Fast Elimination of Quantifiers.Mihai Prunescu - 2006 - Journal of Symbolic Logic 71 (1):321 - 328.
Definability of models by means of existential formulas without identity.Paweł Pazdyka - 1993 - Journal of Symbolic Logic 58 (2):424-434.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Shelah S.. Stable theories. Israel journal of mathematics, vol. 7 , pp. 187–202.Shelah Saharon. Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Annals of mathematical logic, vol. 3 no. 3 , pp. 271–362. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory.Saharon Shelah - 1971 - Annals of Mathematical Logic 3 (3):271-362.
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.
Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.

Analytics

Added to PP
2009-01-28

Downloads
51 (#431,056)

6 months
20 (#148,864)

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