On the number of models of uncountable theories

Journal of Symbolic Logic 59 (4):1285-1300 (1994)
  Copy   BIBTEX

Abstract

In this paper we establish the following theorems. THEOREM A. Let T be a complete first-order theory which is uncountable. Then: (i) I(|T|, T) ≥ ℵ 0 . (ii) If T is not unidimensional, then for any λ ≥ |T|, I (λ, T) ≥ ℵ 0 . THEOREM B. Let T be superstable, not totally transcendental and nonmultidimensional. Let θ(x) be a formula of least R ∞ rank which does not have Morley rank, and let p be any stationary completion of θ which also fails to have Morley rank. Then p is regular and locally modular

Links

PhilArchive



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

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

Splitting number at uncountable cardinals.Jindřich Zapletal - 1997 - Journal of Symbolic Logic 62 (1):35-42.
The Morley rank of a Banach space.José Iovino - 1996 - Journal of Symbolic Logic 61 (3):928-941.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
The spectrum of resplendency.John T. Baldwin - 1990 - Journal of Symbolic Logic 55 (2):626-636.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
On the number of nonisomorphic models of size |t|.Ambar Chowdhury - 1994 - Journal of Symbolic Logic 59 (1):41 - 59.

Analytics

Added to PP
2009-01-28

Downloads
18 (#708,051)

6 months
5 (#244,526)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
A note on trivial nonmultidimensional superstable theories.Ambar Chowdhury - 1995 - Archive for Mathematical Logic 34 (1):21-31.

Add more citations

References found in this work

A dichotomy theorem for regular types.Ehud Hrushovski & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 45 (2):157-169.
Weakly minimal formulas: a global approach.Ludomir Newelski - 1990 - Annals of Pure and Applied Logic 46 (1):65-94.
Non-totally transcendental unidimensional theories.Anand Pillay & Philipp Rothmaler - 1990 - Archive for Mathematical Logic 30 (2):93-111.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.

Add more references