On normal operations on models
ジャーナル
フリー
1969 年 21 巻 4 号 p. 564-573
詳細
- Published: 1969 Received: 1968/08/01 Available on J-STAGE: 2006/09/29 Accepted: - Advance online publication: - Revised: -
-
訂正情報
訂正日: 2006/09/29 訂正理由: - 訂正箇所: 引用文献情報 訂正内容: 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.
訂正日: 2006/09/29 訂正理由: - 訂正箇所: PDFファイル 訂正内容: -
PDFをダウンロード (877K)
メタデータをダウンロード
RIS形式
BIB TEX形式
テキスト
メタデータのダウンロード方法
発行機関連絡先
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
記事の1ページ目
