An atomic theory with no prime models

Australasian Journal of Logic 5:85-88 (2007)
  Copy   BIBTEX

Abstract

We construct an atomic uncountable theory with no prime models. This contrasts with the countable case

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
Prime models of computably enumerable degree.Rachel Epstein - 2008 - Journal of Symbolic Logic 73 (4):1373-1388.
Bounding Prime Models.Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight & Robert I. Soare - 2004 - Journal of Symbolic Logic 69 (4):1117 - 1142.
Prime and atomic models.Julia F. Knight - 1978 - Journal of Symbolic Logic 43 (3):385-393.
On the existence of atomic models.M. C. Laskowski & S. Shelah - 1993 - Journal of Symbolic Logic 58 (4):1189-1194.
Atomic theory and the description of nature.Niels Bohr - 1934 - Woodbridge, Conn.: Ox Bow Press.
The degree spectra of homogeneous models.Karen Lange - 2008 - Journal of Symbolic Logic 73 (3):1009-1028.
Generic Expansions of Countable Models.Silvia Barbina & Domenico Zambella - 2012 - Notre Dame Journal of Formal Logic 53 (4):511-523.
The theory of materia prima in Marsilio Ficino's platonic theology.James Snyder - 2008 - Vivarium 46 (2):192-221.
Pragmatism, Belief, and Reduction: Stereoformulas and Atomic Models in Early Stereochemistry.Peter J. Ramberg - 2000 - Hyle 6 (1):35 - 61.
Prime numbers and factorization in IE1 and weaker systems.Stuart T. Smith - 1992 - Journal of Symbolic Logic 57 (3):1057 - 1085.
Evidence theory in multivalued models of modal logic.Elena Tsiporkova, Bernard De Baets & Veselka Boeva - 2000 - Journal of Applied Non-Classical Logics 10 (1):55-81.
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.
On the number of minimal models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):475-480.

Analytics

Added to PP
2014-03-11

Downloads
1 (#1,901,393)

6 months
1 (#1,471,470)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

On a theorem of Vaught for first order logic with finitely many variables.Tarek Sayed Ahmed - 2009 - Journal of Applied Non-Classical Logics 19 (1):97-112.

Add more citations

References found in this work

No references found.

Add more references