Hanf numbers for omitting types over particular theories

Journal of Symbolic Logic 41 (3):583-588 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.
Omitting types in set theory and arithmetic.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (1):25-32.
Omitting types in o-minimal theories.David Marker - 1986 - Journal of Symbolic Logic 51 (1):63-74.
Omitting types for stable CCC theories.Ludomir Newelski - 1990 - Journal of Symbolic Logic 55 (3):1037-1047.
On existence proofs of Hanf numbers.Harvey Friedman - 1974 - Journal of Symbolic Logic 39 (2):318-324.
Complete types and the natural numbers.Julia F. Knight - 1973 - Journal of Symbolic Logic 38 (3):413-415.
Hanf number of omitting type for simple first-order theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.

Analytics

Added to PP
2009-01-28

Downloads
210 (#87,777)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.

Add more references