Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288 [Book Review]

Journal of Symbolic Logic 32 (2):283-284 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271716

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Shôji Maehara, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Sh^|^Ocirc Maehara, Ji, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension.Toshio Nishimura & Setsuya Seki - 1967 - Journal of Symbolic Logic 32 (2):283-284.
Maehara Shôji. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 , pp. 55–64. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
Nagashima Takashi. An extension of the Craig-Schütte interpolation theorem. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 , pp. 12–18. [REVIEW]A. S. Troelstra - 1968 - Journal of Symbolic Logic 33 (2):291-292.
Maehara Shôji. General recursive functions in the number-theoretic formal system. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 2 , pp. 119–130. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
Takeuti Gaisi. Construction of ramified real numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 , S. 41–61. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 , pp. 131–137. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
Toshio Nishimura. On Gödel's theorem. Journal of the Mathematical Society of Japan, vol. 13 , pp. 1–12.Gert Heinz Müller - 1964 - Journal of Symbolic Logic 29 (2):106-107.

Analytics

Added to PP
2016-06-30

Downloads
24 (#677,847)

6 months
1 (#1,514,069)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references