Article contents
On the number of models of uncountable theories
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1994
References
REFERENCES
[Ba]Baldwin, J., Fundamentals of stability theory, Springer-Verlag, Berlin, Heidelberg, New York, 1988.CrossRefGoogle Scholar
[B]Buechler, S., The geometry of weakly minimal types, this Journal, vol. 50 (1985), pp. 1044–1053.Google Scholar
[C]Chowdhury, A., On the number of nonisomorphic models of size ∣T∣, this Journal, vol. 59 (1994), pp. 41–59.Google Scholar
[H1]Hrushovski, E., Contributions to stable model theory, Ph.D. Thesis, University of California, Berkeley, California, 1986.Google Scholar
[H2]Hrushovski, E., Locally modular regular types, Classification theory, Lecture Notes in Mathematics, vol. 1292, Springer-Verlag, Berlin, Heidelberg, New York, 1987, pp. 132–164.CrossRefGoogle Scholar
[HS]Hrushovski, E. and Shelah, S., A dichotomy theorem for regular types, Annals of Pure and Applied Logic, vol. 45 (1989), pp. 157–169.CrossRefGoogle Scholar
[LP]Low, L. and Pillay, A., Superstable theories with few countable models, Archive for Mathematical Logic, vol. 31 (1992), pp. 457–465.CrossRefGoogle Scholar
[La1]Lachlan, A. H., On the number of countable models of a countable superstable theory, Logic, Methodology and Philosophy of Science IV, North-Holland, Amsterdam, 1973, pp. 45–56.Google Scholar
[La2]Lachlan, A. H., Theories with a finite number of models in an uncountable power are categorical, Pacific Journal of Mathematics, vol. 61 (1975), pp. 465–481.CrossRefGoogle Scholar
[Las]Laskowski, M. C., Uncountable theories that are categorical in a higher power, this Journal, vol. 53 (1988), pp. 512–530.Google Scholar
[M]Makkai, M., A survey of basic stability theory, Israel Journal of Mathematics, vol. 49 (1984), pp. 181–238.CrossRefGoogle Scholar
[N]Newelski, L., Weakly minimal formulas: a global approach, Annals of Pure and Applied Logic, vol. 46 (1990), pp. 65–94.CrossRefGoogle Scholar
[P2]Pillay, A., Some remarks on nonmultidimensional superstable theories, this Journal, vol. 59, (1994), pp. 151–165.Google Scholar
[PR]Pillay, A. and Rothmaler, P., Non-totally transcendental unidimensional theories, Archive for Mathematical Logic, vol. 30 (1990), pp. 93–111.CrossRefGoogle Scholar
[Sh1]Shelah, S., On theories T categorical in ∣T∣, this Journal, vol. 35 (1970), pp. 73–82.Google Scholar
[Sh2]Shelah, S., Classification theory, 2nd ed., North Holland, Amsterdam and New York, 1990.Google Scholar
- 2
- Cited by