On uniqueness of prime models

Journal of Symbolic Logic 44 (2):215-220 (1979)
  Copy   BIBTEX

Abstract

We prove there are theories (stable or countable) for which over every A there is a prime model but it is not necessarily unique. We also give a simplified proof of the uniqueness theorem for countable stable theories

Categories

Keywords

Reprint years

DOI

10.2307/2273729

Other Versions

reprint Shelah, Saharon (1983) "On Uniqueness of Prime Models". Journal of Symbolic Logic 48(2):497-497

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,826

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

Saharon Shelah. On uniqueness of prime models. The journal of symbolic logic, vol. 44 , pp. 215–220.G. L. Cherlin - 1983 - Journal of Symbolic Logic 48 (2):497.
Definable sets in Boolean-ordered o-minimal structures. I.Ludomir Newelski & Roman Wencel - 2001 - Journal of Symbolic Logic 66 (4):1821-1836.
Saharon Shelah. Uniqueness and characterization of prime models over sets for totally transcendental first-order theories. The journal of symbolic logic, vol. 37 , pp. 107–113. [REVIEW]Jerrold Gold - 1973 - Journal of Symbolic Logic 38 (3):523-524.
Remarks on Structure Theorems for $\omega_{1}$ -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
Countable models of trivial theories which admit finite coding.James Loveys & Predrag Tanovic - 1996 - Journal of Symbolic Logic 61 (4):1279-1286.
On atomic or saturated sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
Expansions of models of ω-stable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
Stable theories, pseudoplanes and the number of countable models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.

Analytics

Added to PP
2009-01-28

Downloads
52 (#495,789)

6 months
29 (#132,796)

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

Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.

Add more references