On Skolem's theorem

Gaisi TAKEUTI

doi:10.2969/jmsj/00910071

On Skolem's theorem

Gaisi TAKEUTI

著者情報

ジャーナルフリー

1957 年 9 巻 1 号 p. 71-76

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

詳細

Published: 1957 Received: 1956/11/10 Available on J-STAGE: 2006/08/29 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/08/29 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) Th. Skolem: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. Verth. V, skand. Math.-Kongr. (1922).
2) K. Gödel: The consistency of the axioms of choice and of the generalized continuum-hypothesis with the axiom of set theory. Princeton, 1940.
3) D. Hilbert, P. Bernays: Grundlagen der Mathematik Band II.
4) G. Gentzen: Untersuchungen über das logischen Schließen I, II. Math. Z., 39 (1935), pp. 176-210, 405-431.
5) S. Maehara: The predicate calculus with ε-symbol. J. Math. Soc. Japan, 7 (1955), pp. 323-344.
6) G. Takeuti: On the fundamental conjecture of GLC I. J. Math. Soc. Japan, 7 (1955), pp 249-275.
7) G. Takeuti: A metamathematical theorem on function. J. Math. Soc. Japan, 8 (1956), pp 65-78.
8) G. Takeuti, On a generalized logic calculus. Jap. J. Math., 23 (1953), pp. 39-96. Errata to "On a generalized logic calculus". Jap. J. Math., 24 (1954), pp. 149-156.

Right : [1] Th. Skolem: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. Verth. V. skand. Math.-Kongr. (1922).
[2] K. Gödel: The consistency of the axioms of choice and of the generalized continuum-hypothesis with the axiom of set theory. Princeton, 1940.
[3] D. Hilbert, P. Bernays: Grundlagen der Mathematik Band II.
[4] G. Gentzen: Untersuchungen über das logischen Schließen I, II. Math. Z., 39 (1935), pp. 176-210, 405-431.
[5] S. Maehara: The predicate calculus with ε-symbol. J. Math. Soc. Japan, 7 (1955), pp. 323-344.
[6] G. Takeuti: On the fundamental conjecture of GLC I. J. Math. Soc. Japan, 7 (1955), pp 249-275.
[7] G. Takeuti: A metamathematical theorem on function. J. Math. Soc. Japan, 8 (1956), pp 65-78.
[8] G. Takeuti, On a generalized logic calculus. Jap. J. Math., 23 (1953), pp. 39-96. Errata to “On a generalized logic calculus”. Jap. J. Math., 24 (1954), pp. 149-156.

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

責任著者(Corresponding author)

訂正情報

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