Löwenheim-Skolem and interpolation theorems in infinitary languages
HTML articles powered by AMS MathViewer
- by David W. Kueker PDF
- Bull. Amer. Math. Soc. 78 (1972), 211-215
References
-
1. C. C. Chang, "Some remarks on the model theory of infinitary languages, " in The syntax and semantics of infinitary languages, Springer-Verlag, Berlin and New York, 1968, pp. 36-63.
2. H. J. Keisler, "Formulas with linearly ordered quantifiers, " in The syntax and semantics of infinitary languages, Springer-Verlag, Berlin and New York, 1968, pp. 96-130.
- Lars Svenonius, On the denumerable models of theories with extra predicates, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965, pp. 376–389. MR 0209138
- Gaisi Takeuti, The $\Pi _{1}{}^{1}$-comprehension schema and $\omega$-rules, Proceedings of the Summer School in Logic (Leeds, 1967) Springer, Berlin, 1968, pp. 303–331. MR 0253874
- A. Tarski, Remarks on predicate logic with infinitely long expressions, Colloq. Math. 6 (1958), 171–176. MR 99915, DOI 10.4064/cm-6-1-171-176
Additional Information
- Journal: Bull. Amer. Math. Soc. 78 (1972), 211-215
- MSC (1970): Primary 02H10, 02B20, 02B25
- DOI: https://doi.org/10.1090/S0002-9904-1972-12921-5
- MathSciNet review: 0290942