Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal. (English) Zbl 0704.03015
In this paper the authors generalize the classical Morley categoricity theorem to a particular kind of infinitary languages, \(L_{\kappa \omega}\) with \(\kappa\) a compact cardinal. One of the main results of the paper is the following Theorem: Let \(\kappa\) be an uncountable strongly compact cardinal, \(T\) a theory in a fragment \(F\) of \(L_{\kappa \omega}\) and \(\kappa '=\max (\kappa,| F|)\). Let \(\lambda\) be a successor cardinal with \(\lambda >((\kappa ')^{<\kappa})^+\). If \(T\) is categorical in \(\lambda\) then \(T\) is categorical in every cardinal greater or equal to \(\min (\lambda,\beth_{(2^{\kappa '})^+})\).
This paper should be seen as part of the program of classification theory. In Section 1 the necessary preliminaries are given, amalgamation and joint embedding property are investigated. In Section 2 types are studied under the assumption of amalgamation and joint embedding property. In Section 3 the authors deal with order indiscernibles and introduce the Skolem hull. In Section 4 an extension of an elementary part of stability is given. A suitable notion of non-forking over models is developed and used to obtain the categoricity result. Section 5 gives a summary. An appendix contains set-theoretic material used in Section 1. It gives the necessary background concerning modified square-systems.
This paper should be seen as part of the program of classification theory. In Section 1 the necessary preliminaries are given, amalgamation and joint embedding property are investigated. In Section 2 types are studied under the assumption of amalgamation and joint embedding property. In Section 3 the authors deal with order indiscernibles and introduce the Skolem hull. In Section 4 an extension of an elementary part of stability is given. A suitable notion of non-forking over models is developed and used to obtain the categoricity result. Section 5 gives a summary. An appendix contains set-theoretic material used in Section 1. It gives the necessary background concerning modified square-systems.
Reviewer: Martin Weese (Potsdam)
MSC:
03C35 | Categoricity and completeness of theories |
03C75 | Other infinitary logic |
03C45 | Classification theory, stability, and related concepts in model theory |
Keywords:
categoricity; infinitary languages; compact cardinal; classification theory; order indiscernibles; Skolem hull; non-forking over models; modified square-systemsReferences:
[1] | Chang, C. C.; Keisler, H. J., Model Theory (1973), North-Holland: North-Holland Amsterdam · Zbl 0276.02032 |
[2] | Dickman, M. A., Large Infinitary Languages: Model Theory (1975), North-Holland: North-Holland Amsterdam · Zbl 0324.02010 |
[3] | Devlin, K. J.; Shelah, S., A weak version of ♢ which follows from \(2^{ℵ_0}<2^{ℵ_1\) · Zbl 0403.03040 |
[4] | Jech, T., Set Theory (1978), Academic Press: Academic Press New York · Zbl 0419.03028 |
[5] | Jonsson, B., Homogeneous universal relational systems, Math. Scand., 8, 137-142 (1960) · Zbl 0173.00505 |
[6] | Morley, M. D., Categoricity in power, Trans. Amer. Math. Soc., 114, 514-538 (1965) · Zbl 0151.01101 |
[7] | Morley, M. D., Omitting classes of elements, (Addison, J.; Henkin, L.; Tarski, A., The Theory of Models (1965), North-Holland: North-Holland Amsterdam), 265-273 · Zbl 0168.24902 |
[8] | Morley, M. D.; Vaught, R. L., Homogeneous universal models, Math. Scand., 11, 37-57 (1962) · Zbl 0112.00603 |
[9] | Shelah, S., Classification Theory and the Number of Non-Isomorphic Models (1978), North-Holland: North-Holland Amsterdam · Zbl 0388.03009 |
[10] | Shelah, S., Classification theory for non-elementary classes I, Israel J. Math., 46, 241-273 (1983), (Part B) · Zbl 0552.03019 |
[11] | Shelah, S., Classification theory for non-elementary classes II: Abstract elementary classes, (Baldwin, J. T., Proc. US-Israel Workshop on Model Theory in Mathematical Logic, Chicago, 1985. Proc. US-Israel Workshop on Model Theory in Mathematical Logic, Chicago, 1985, Classification Theory, 1292 (1987), Springer: Springer Berlin), 419-497, Lecture Notes in Math. · Zbl 0639.03034 |
[12] | Shelah, S., On successors of singular cardinals, (Proc. Logic Colloquium, 78 (1979), North-Holland: North-Holland Amsterdam), 357-380 · Zbl 0449.03045 |
[13] | Shelah, S., Classification over a predicate II, (Lecture Notes in Math., 1182 (1986), Springer: Springer Berlin), 1-46 · Zbl 0613.03009 |
[14] | Shelah, S., Remarks on squares, (Lecture Notes in Math., 1182 (1986), Springer: Springer Berlin), 276-279 · Zbl 0613.03009 |
[15] | Shelah, S., Universal classes, (Baldwin, J. T., Proc. US-Israel Workshop on Model Theory in Mathematical Logic, Chicago, 1985. Proc. US-Israel Workshop on Model Theory in Mathematical Logic, Chicago, 1985, Classification Theory, 1292 (1987), Springer: Springer Berlin), 264-418, Lecture Notes in Math. · Zbl 0637.03028 |
[16] | Solovay, R., Strongly compact cardinals and the GCH, (Proc. Symposia in Pure Math., 25 (1974), Amer. Math. Soc: Amer. Math. Soc Providence, RI), 365-372, Proceedings of the Tarski Symposium · Zbl 0317.02083 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.