Hostname: page-component-6bf8c574d5-rwnhh Total loading time: 0 Render date: 2025-02-16T16:02:25.983Z Has data issue: false hasContentIssue false
  • English
  • Français

On the number of models of uncountable theories

Published online by Cambridge University Press:  12 March 2014

Ambar Chowdhury  and
Anand Pillay
Ambar Chowdhury
Affiliation:
Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada, L8S 4K1, E-mail: [email protected]
Anand Pillay
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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
The Journal of Symbolic Logic , Volume 59 , Issue 4 , December 1994 , pp. 1285 - 1300
Copyright
Copyright © Association for Symbolic Logic 1994

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

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
[P1]Pillay, A., Geometric stability theory, forthcoming.Google 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
[Pz]Poizat, B., Groupes stables, Nur Al-Mantiq Wal-Ma'rifah, Paris, 1987.Google 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