Pseudo-uniform reducibility

Raymond M. SMULLYAN

doi:10.2969/jmsj/01520129

Raymond M. SMULLYAN

著者情報

ジャーナルフリー

1963 年 15 巻 2 号 p. 129-133

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

詳細

Published: 1963 Received: 1962/06/16 Available on J-STAGE: 2006/09/26 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/09/26 訂正理由: - 訂正箇所: 著者情報訂正内容: Wrong : Raymond M. SMULLYAN¹⁾
Right : Raymond M. SMULLYAN¹⁾²⁾

訂正日: 2006/09/26 訂正理由: - 訂正箇所: 所属機関情報訂正内容: 訂正前 :
1) Princeton University

訂正後 :
1) Princeton University
2) Yeshiva University

訂正日: 2006/09/26 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) R. M. Smullyan, Undecidability and Recursive Inseparability, Z. Math. Logik Grundlagen Math., 4 (1958), 143-147.
2) R. M. Smullyan, Theory of Formal Systems, Ann. of Math. Studies 47, Princeton University Press, 1961.
3) S. C. Kleene, Introduction to Metamathematics, D. Von Nostrand Company, Inc., Princeton, New Jersey, 1952.
4) Tarski, Alfred, Mostowski, Andrzej and Robinson, M. Raphael, Undecidable Theories, Studies in Logic and the Foundations of Math., North-Holland Publishing Company, Amsterdam, 1953.

Right : [1] R. M. Smullyan, Undecidability and Recursive Inseparability, Z. Math. Logik Grundlagen Math., 4 (1958), 143-147.
[2] R. M. Smullyan, Theory of Formal Systems, Ann. of Math. Studies 47, Princeton University Press, 1961.
[3] S. C. Kleene, Introduction to Metamathematics, D. Von Nostrand Company, Inc., Princeton, New Jersey, 1952.
[4] Tarski, Alfred, Mostowski, Andrzej and Robinson, M. Raphael, Undecidable Theories, Studies in Logic and the Foundations of Math., North-Holland Publishing Company, Amsterdam, 1953.

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

責任著者(Corresponding author)

訂正情報

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