Global definability theory in $L_{\omega _1 \omega }$
HTML articles powered by AMS MathViewer
References
- C. C. Chang, Some new results in definability, Bull. Amer. Math. Soc. 70 (1964), 808â813. MR 170818, DOI 10.1090/S0002-9904-1964-11244-1
- Solomon Feferman, Lectures on proof theory, Proceedings of the Summer School in Logic (Leeds, 1967) Springer, Berlin, 1968, pp. 1â107. MR 0235996
- H. Jerome Keisler, Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers, Studies in Logic and the Foundations of Mathematics, Vol. 62, North-Holland Publishing Co., Amsterdam-London, 1971. MR 0344115 [Ku 1] D. W. Kueker, Definability, automorphisms and infinitary languages, Lecture Notes in Math., 72, Springer-Verlag, Berlin and New York, 1968, pp. 152-165.
- David W. Kueker, Generalized interpolation and definability, Ann. Math. Logic 1 (1970), no. 4, 423â468. MR 282820, DOI 10.1016/0003-4843(70)90003-3
- M. Makkai, On a generalization of a theorem of E. W. Beth, Acta Math. Acad. Sci. Hungar. 15 (1964), 227â235. MR 161797, DOI 10.1007/BF01897040
- M. Makkai, An application of a method of Smullyan to logics on admissible sets, Bull. Acad. Polon. Sci. SÊr. Sci. Math. Astronom. Phys. 17 (1969), 341â346 (English, with Russian summary). MR 266746
- M. Makkai, On the model theory of denumerably long formulas with finite strings of quantifiers, J. Symbolic Logic 34 (1969), 437â459. MR 255383, DOI 10.2307/2270908 [Mo] N. Motohashi, A new theorem on definability..., preprint; also in: Dissertation, University of Tokyo, 1971.
- Gonzalo E. Reyes, Local definability theory, Ann. Math. Logic 1 (1970), 95â137. MR 274266, DOI 10.1016/S0003-4843(70)80006-7
- Dana Scott, Logic with denumerably long formulas and finite strings of quantifiers, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965, pp. 329â341. MR 0200133
- Lars Svenonius, $\aleph _{0}$-categoricity in first-order predicate calculus, Theoria (Lund) 25 (1959), 82â94. MR 138539, DOI 10.1111/j.1755-2567.1959.tb00294.x
Additional Information
- Journal: Bull. Amer. Math. Soc. 79 (1973), 916-921
- MSC (1970): Primary 02B25, 02H10
- DOI: https://doi.org/10.1090/S0002-9904-1973-13258-6
- MathSciNet review: 0429476