Global definability theory in 𝐿_{𝜔₁𝜔}

Makkai, M.

doi:10.1090/S0002-9904-1973-13258-6

Global definability theory in $L_{\omega _1 \omega }$
HTML articles powered by AMS MathViewer

by M. Makkai PDF

Bull. Amer. Math. Soc. 79 (1973), 916-921

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
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
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