Some new results in definability
HTML articles powered by AMS MathViewer
- by C. C. Chang PDF
- Bull. Amer. Math. Soc. 70 (1964), 808-813
References
- E. W. Beth, On Padoa’s method in the theory of definition, Nederl. Akad. Wetensch. Proc. Ser. A. 56 = Indagationes Math. 15 (1953), 330–339. MR 0058537, DOI 10.1016/S1385-7258(53)50042-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
- Michael Morley and Robert Vaught, Homogeneous universal models, Math. Scand. 11 (1962), 37–57. MR 150032, DOI 10.7146/math.scand.a-10648
- 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 5. R. Vaught, The completeness of logic with the added quantifier "there are uncountably many," J. Symbolic Logic 27 (1962), 480.
- R. L. Vaught, The completeness of logic with the added quantifier “there are uncountably many”, Fund. Math. 54 (1964), 303–304. MR 166086, DOI 10.4064/fm-54-3-303-304
Additional Information
- Journal: Bull. Amer. Math. Soc. 70 (1964), 808-813
- DOI: https://doi.org/10.1090/S0002-9904-1964-11244-1
- MathSciNet review: 0170818