On the existence of $L_{\infty K}$-indiscernibles
HTML articles powered by AMS MathViewer
- by P. C. Eklof
- Proc. Amer. Math. Soc. 25 (1970), 798-800
- DOI: https://doi.org/10.1090/S0002-9939-1970-0260579-0
- PDF | Request permission
Abstract:
It is proved that it $T$ is a countable theory of ${L_{{\omega _1}\omega }}$ with enough axioms for Skolem functions and with arbitrarily large models, then for any order type, there is a model of $T$ with a set of ${L_{\infty \kappa }}$-indiscernibles of that order type.References
- Jon Barwise, Infinitary logic and admissible sets, J. Symbolic Logic 34 (1969), no. 2, 226â252. MR 406760, DOI 10.2307/2271099
- Jean-Pierre Calais, La mĂ©thode de FraĂŻssĂ© dans les langages infinis, C. R. Acad. Sci. Paris SĂ©r. A-B 268 (1969), A785âA788 (French). MR 253884 C. C. Chang, âSome remarks on the model theory of infinitary languages,â The syntax and semantics of infinitary languages, Lecture Notes in Math., no. 72, Springer-Verlag, Berlin and New York, 1968, pp. 36-63.
- C. C. Chang, Infinitary properties of models generated from indiscernibles, Logic, Methodology and Philos. Sci. III (Proc. Third Internat. Congr., Amsterdam, 1967) North-Holland, Amsterdam, 1968, pp. 9â21. MR 0250859
- A. Ehrenfeucht and A. Mostowski, Models of axiomatic theories admitting automorphisms, Fund. Math. 43 (1956), 50â68. MR 84456, DOI 10.4064/fm-43-1-50-68 J. Keisler, Model theory of ${L_{{\omega _1}\omega }}$, (to appear).
- K. Kuratowski and A. Mostowski, Set theory, PWNâPolish Scientific Publishers, Warsaw; North-Holland Publishing Co., Amsterdam, 1968. Translated from the Polish by M. MaczyĆski. MR 0229526
Bibliographic Information
- © Copyright 1970 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 25 (1970), 798-800
- MSC: Primary 02.35
- DOI: https://doi.org/10.1090/S0002-9939-1970-0260579-0
- MathSciNet review: 0260579