An extended relativization theorem

Nobuyoshi MOTOHASHI

doi:10.2969/jmsj/02520250

Nobuyoshi MOTOHASHI

著者情報

ジャーナルフリー

1973 年 25 巻 2 号 p. 250-256

DOI https://doi.org/10.2969/jmsj/02520250

詳細

Published: 1973 Received: 1972/01/31 Available on J-STAGE: 2006/09/29 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/09/29 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) C. C. Chang, On unions of chains of models, Proc. Amer. Math. Soc., 10 (1959), 120-127.
2) S. Feferman, Lectures on Proof theory, Proceeding of the Summer School in Logic, Leeds, 1967, Lecture Notes in Mathematics, No. 70, Springer-Verlag, 1968, 1-107.
3) H. J. Keisler, Unions of relational systems, Proc. Amer. Math. Soc., 15 (1964), 540-545.
4) N. Motohashi, Object logic and Morphism logic, J. Math. Soc. Japan, 24 (1972), 683-697.
5) N. Motohashi, Interpolation theorem and characterization theorem, Ann. Japan Assoc. Philos. Sci., 4 (1972), 15-80.
6) N. Motohashi, Model theory in a positive second order logic with countable conjunctions and disjunctions, J. Math. Soc. Japan, 25 (1973), 27-42.
7) N. Motohashi, A faithful interpretation of Intuitionistic predicate logic in Classical predicate logic, Comment. Math. Univ. St. Pauli., 21 (2) (1973), 11-24.
8) B. F. Nebres, A syntactic characterization of infinitary sentences preserved under unions of models, Notices Amer. Math. Soc., 16 (1969), 423-424.
9) J. Weinstein, (ω₁, ω)-properties of unions of models, in “the Syntax and Semanticsof Infinitary Languages”, edited by J. Barwise, Lecture notes in Math., No. 72, Springer-Verlag, 1968, 265-268.

Right : [1] C. C. Chang, On unions of chains of models, Proc. Amer. Math. Soc., 10 (1959), 120-127.
[2] S. Feferman, Lectures on Proof theory, Proceeding of the Summer School in Logic, Leeds, 1967, Lecture Notes in Mathematics, No. 70, Springer-Verlag, 1968, 1-107.
[3] H. J. Keisler, Unions of relational systems, Proc. Amer. Math. Soc., 15 (1964), 540-545.
[4] N. Motohashi, Object logic and Morphism logic, J. Math. Soc. Japan, 24 (1972), 683-697.
[5] N. Motohashi, Interpolation theorem and characterization theorem, Ann. Japan Assoc. Philos. Sci., 4 (1972), 15-80.
[6] N. Motohashi, Model theory in a positive second order logic with countable conjunctions and disjunctions, J. Math. Soc. Japan, 25 (1973), 27-42.
[7] N. Motohashi, A faithful interpretation of Intuitionistic predicate logic in Classical predicate logic, Comment. Math. Univ. St. Pauli., 21 (2) (1973), 11-24.
[8] B. F. Nebres, A syntactic characterization of infinitary sentences preserved under unions of models, Notices Amer. Math. Soc., 16 (1969), 423-424.
[9] J. Weinstein, (ω₁, ω)-properties of unions of models, in “the Syntax and Semantics of Infinitary Languages”, edited by J. Barwise, Lecture notes in Math., No. 72, Springer-Verlag, 1968, 265-268.

訂正日: 2006/09/29 訂正理由: - 訂正箇所: PDFファイル訂正内容: -

責任著者(Corresponding author)

訂正情報

J-STAGEへの登録はこちら（無料）