Hostname: page-component-6d856f89d9-4thr5 Total loading time: 0 Render date: 2024-07-16T08:23:34.470Z Has data issue: false hasContentIssue false
  • English
  • Français

Semi-minimal theories and categoricity

Published online by Cambridge University Press:  12 March 2014

Daniel Andler
Daniel Andler*
Affiliation:
Université Paris VII, 75005 Paris, France
Get access Rights & Permissions [Opens in a new window]

Extract

The study of countable theories categorical in some uncountable power was initiated by Łoś and Vaught and developed in two stages. First, Morley proved (1962) that a countable theory categorical in some uncountable power is categorical in every uncountable power, a conjecture of Łoś. Second, Baldwin and Lachlan confirmed (1969) Vaught's conjecture that a countable theory categorical in some uncountable power has either one or countably many isomorphism types of countable models. That result was obtained by pursuing a line of research developed by Marsh (1966). For certain well-behaved theories, which he called strongly minimal, Marsh's method yielded a simple proof of Łoś's conjecture and settled Vaught's conjecture.

In recent years efforts have been made to extend these results to uncountable theories. The generalized Łoś conjecture states that a theory T categorical in some power greater than ∣T∣ is categorical in every such power. It was settled by Shelah (1970). Shelah then raised the question of the models in power ∣T∣ = ℵα of a theory T categorical in ∣T∣+, conjecturing in [S3] that there are exactly ∣α∣ + ℵ0 such models, up to isomorphism. This conjecture provided the initial motivation for the present work. We define and study semi-minimal theories analogous in some ways to Marsh's strongly minimal (countable) theories. We describe the models of a semi-minimal theory T which contain an infinite indiscernible set. Besides throwing some light on Shelah's conjecture, our method gives simple proofs of the Łoś conjecture and of the Morley conjecture on categoricity in ∣T∣, in the case of a semi-minimal theory T. Other results as well as some examples are provided.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 40 , Issue 3 , September 1975 , pp. 419 - 438
Copyright
Copyright © Association for Symbolic Logic 1975

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

[A1]Andler, D. M., Notices of the American Mathematical Society, vol. 19 (1972), Abstract 72T-E109.Google Scholar
[A2]Andler, D. M., Models of uncountable theories categorical in power, Doctoral Dissertation, University of California, Berkeley, 1973.Google Scholar
[B1]Baldwin, J. T., Countable theories categorical in power, Doctoral Dissertation, Simon Fraser University, 1970.Google Scholar
[B2]Baldwin, J. T., Almost strongly minimal theories, this Journal, vol. 37 (1972), pp. 487–493.Google Scholar
[BL]Baldwin, J. T. and Lachlan, A. H., On strongly minimal sets, this Journal, vol. 36 (1971), pp. 79–96.Google Scholar
[CK]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[EM]Ehrenfeucht, A. and Mostowski, A., Models of axiomatic theories admitting automorphisms, Fundamenta Mathematicae, vol. 43 (1956), pp. 50–68.CrossRefGoogle Scholar
[GE]Goldhaber, and Ehrlich, , Algebra, 1970.Google Scholar
[Ha]Harnik, V., Stability and related concepts, Doctoral Dissertation, Hebrew University, 1971.Google Scholar
[HR]Harnik, V. and Ressayre, J.-P., Prime extensions and categoricity in power, Israel Journal of Mathematics, vol. 10 (1971), pp. 172–185.CrossRefGoogle Scholar
[K]Keisler, H. J., On theories categorical in their own power, this Journal, vol. 36 (1971), pp. 240–244.Google Scholar
[La]Lachlan, A. H., On the number of countable models of countable superstable theory, Proceedings of the IVth International Congress on Logic, Methodology and the Philosophy of Science (Bucharest, 1971), (to appear).Google Scholar
[Lo]Los, J., On the categoricity in power of elementary deductive systems, Colloquium Mathematicum, vol. 3 (1954), pp. 58–62.CrossRefGoogle Scholar
[MS]MacDowell, R. and Specker, E., Modelle der Arithmetik, Infinitistic Methods (Proceedings of the Symposium on the Foundations of Mathematics, Warsaw, 1959) Pergamon Press, New York, 1961, pp. 257–263.Google Scholar
[Mk]Makinson, D. C., On the number of ultrafilters of an infinite Boolean algebra, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 121–122.CrossRefGoogle Scholar
[Ma]Marsh, W. E., On ω1-categorical but not ω-categorical theories, Doctoral Dissertation, Dartmouth College, 1966.Google Scholar
[M1]Morley, M. D., Categoricity in power, Transactions of the American Mathematical Society, vol. 114 (1965), pp. 514–538.CrossRefGoogle Scholar
[M2]Morley, M. D., Countable models of ℵ1-categorical theories, Israel Journal of Mathematics, vol. 5 (1967), pp. 65–72.CrossRefGoogle Scholar
[MV]Morley, M. D. and Vaught, R. L., Homogeneous universal models, Mathematica Scandinavica, vol. 11 (1962), pp. 35–57.CrossRefGoogle Scholar
[P]Park, D. M. R., Set-theoretic construction in model theory, Doctoral Dissertation, M.I.T., 1964.Google Scholar
[Sa]Sacks, G. E., Saturated model theory, Benjamin, Reading, Massachusetts, 1972.Google Scholar
[S1]Shelah, S., On theories T categorical in ∣T∣, this Journal, vol. 35 (1970), pp. 73–82.Google Scholar
[S2]Shelah, S., Proof of the Los conjecture for uncountable theories, Lecture notes by Brown, M., University of California, Los Angeles, Fall 1970.Google Scholar
[S3]Shelah, S., Stability, the f.c.p. and superstability, Annals of Mathematical Logic, vol. 3 (1971), pp. 272–362.Google Scholar
[S4]Shelah, S., Categoricity of uncountable theories, Proceedings of Symposia in Pure Mathematics (Proceedings of the Tarski Symposium, Berkeley, 1971) (Henkin, L., Editor), American Mathematical Society, Providence, R.I., 1974.Google Scholar
[Sh]Shoenfield, J. R., Mathematical logic, Addison-Wesley, Reading, Massachusetts, 1967.Google Scholar
[TV]Tarski, A. and Vaught, R. L., Arithmetical extensions of relational systems, Composite Mathematica, vol. 13 (1957), pp. 81–102.Google Scholar
[V1]Vaught, R L., Applications of the Löwenheim-Skolem-Tarski theorem to problems of completeness and decidability, Indagationes Mathematicae, vol. 16 (1954), pp. 467–472.CrossRefGoogle Scholar
[V2]Vaught, R L., Denumerable models of complete theories, Infinitistic methods (Proceedings of the Symposium on the Foundations of Mathematics, Warsaw, 1959) Pergamon Press, New York, 1961, pp. 303–321.Google Scholar