On the existence of $L_{\infty K}$-indiscernibles
Author:
P. C. Eklof
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
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
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.
- Jon Barwise, Infinitary logic and admissible sets, J. Symbolic Logic 34 (1969), no. 2, 226–252. MR 406760, DOI https://doi.org/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 https://doi.org/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
Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.35
Retrieve articles in all journals with MSC: 02.35
Additional Information
Keywords:
Indiscernibles,
infinitary languages,
<!– MATH ${\eta _\alpha }$ –> <IMG WIDTH="27" HEIGHT="37" ALIGN="MIDDLE" BORDER="0" SRC="images/img1.gif" ALT="${\eta _\alpha }$">-set
Article copyright:
© Copyright 1970
American Mathematical Society