Published: 1969 Received: August 01, 1968Available on J-STAGE: September 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: September 29, 2006Reason for correction: -Correction: CITATIONDetails: Wrong : 1) C.C. Chang, Some new results in the theory of definition, Bull. Amer. Math. Soc., 70 (1964), 808-813. 2) C.C Chang, A note on two cardinal problems, Proc. Amer. Math. Soc., 16 (1965), 1148-1155. 3) C.C. Chang and H.J. Heisler, Continuous model theory, Princeton U. P., 1966. 4) S. Feferman and R. Vaught, The first order properties of products of algebraic systems, Fund. Math., 47 (1959), 57-103. 5) H.J. Keisler, The theory of models with generalized atomic formulas, J. Symbolic Logic, 25 (1960), 1-26. 6) H.J. Keisler, Union of relational systems, Proc. Amer. Math. Soc., 15 (1964), 540-545. 7) H.J. Keisler, Reduced products and Horn classes, Trans. Amer. Math. Soc., 117 (1965), 307-328. 8) H. J. Keisler, Some application of infinitely long formulas, J. Symbolic Logic, 30 (1965), 339-349. 9) R. Lyndon, An interpolation theorem in the predicate calculus, Pacific J. Math. 9 (1959), 129-142. 10) R. Lyndon, Properties preserved under homomorphism, Pacific J. Math., 9 (1959), 143-154. 11) M. Makkai, A generalization of a theorem of Beth, Acta Math. Acad. Sci. Hungar., 15 (1964), 227-236. 12) B. Weglorz, Some preservation theorems, Colloq. Math., 17 (1967), 269-276. 13) M. Morley, Categoricity in powers, Trans. Amer. Math. Soc., 114 (1965), 514-538. 14) M. Morley and R. Vaught, Homogeneous universal models, Math. Scand., 11 (1962), 37-57. 15) A. Oberschelp, Über die Axiome produkt-abgeschlossener arithmetischer Klassen, Arch. Math. Logic Grundlagenforsch., 4 (1958), 95-123. 16) A. Robinson, Introduction to model theory, North Holland, 1963. 17) A. Tarski and R. Vaught, Arithmetical extensions of relational systems, Compositio Math., 13 (1957), 81-102. 18) R. Vaught, Denumerable models of complete theories, Infinistic methods, Warsaw (1961), 303-321.
Right : [1] C. C. Chang, Some new results in the theory of definition, Bull. Amer. Math. Soc., 70 (1964), 808-813. [2] C. C Chang, A note on two cardinal problems, Proc. Amer. Math. Soc., 16 (1965), 1148-1155. [3] C. C. Chang and H. J. Heisler, Continuous model theory, Princeton U. P., 1966. [4] S. Feferman and R. Vaught, The first order properties of products of algebraic systems, Fund. Math., 47 (1959), 57-103. [5] H. J. Keisler, The theory of models with generalized atomic formulas, J. Symbolic Logic, 25 (1960), 1-26. [6] H. J. Keisler, Union of relational systems, Proc. Amer. Math. Soc., 15 (1964), 540-545. [7] H. J. Keisler, Reduced products and Horn classes, Trans. Amer. Math. Soc., 117 (1965), 307-328. [8] H. J. Keisler, Some application of infinitely long formulas, J. Symbolic Logic, 30 (1965), 339-349. [9] R. Lyndon, An interpolation theorem in the predicate calculus, Pacific J. Math., 9 (1959), 129-142. [10] R. Lyndon, Properties preserved under homomorphism, Pacific J. Math., 9 (1959), 143-154. [11] M. Makkai, A generalization of a theorem of Beth, Acta Math. Acad. Sci. Hungar., 15 (1964), 227-236. [12] B. Weglorz, Some preservation theorems, Colloq. Math., 17 (1967), 269-276. [13] M. Morley, Categoricity in powers, Trans. Amer. Math. Soc., 114 (1965), 514-538. [14] M. Morley and R. Vaught, Homogeneous universal models, Math. Scand., 11 (1962), 37-57. [15] A. Oberschelp, Über die Axiome produkt-abgeschlossener arithmetischer Klassen, Arch. Math. Logic Grundlagenforsch., 4 (1958), 95-123. [16] A. Robinson, Introduction to model theory, North Holland, 1963. [17] A. Tarski and R. Vaught, Arithmetical extensions of relational systems, Compositio Math., 13 (1957), 81-102. [18] R. Vaught, Denumerable models of complete theories, Infinistic methods, Warsaw (1961), 303-321.
Date of correction: September 29, 2006Reason for correction: -Correction: PDF FILEDetails: -