Toshio Nishimura. Gödel no teiri o megutte (Gödel's theorem and related topics). Sugaku, vol. 11 no. 1(1959), pp. 1–12

Journal of Symbolic Logic 34 (4):649-650 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270870

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Toshio Nishimura. Gödel no teiri o megutte (Gödel's theorem and related topics). Sugaku, vol. 11 no. 1(1959), pp. 1–12.Toshio Nishimura - 1970 - Journal of Symbolic Logic 34 (4):649-650.
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.
Review: Toshio Nishimura, Godel's Theorem and Related Topics. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (4):649-650.
Review: Toshio Nishimura, On Godel's Theorem. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):106-107.
Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 , pp. 101–112. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404.
Toshio Nishimura. On a certain system with infinite induction. Journal of the Mathematical Society of Japan, vol. 12 , pp. 392–400. [REVIEW]Charles Parsons - 1963 - Journal of Symbolic Logic 28 (4):293.
Takeuti Gaisi and Yasugi Mariko. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 , pp. 1–67. [REVIEW]Kurt Schütte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404-404.
Itô Kiyoshi. Sûgaku no kiso to siteno syûgôron . Kagaku kiso ron kenkyû , vol. 1 no. 1 , pp. 8–12.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
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. [REVIEW]K. Schütte - 1967 - Journal of Symbolic Logic 32 (2):283-284.

Analytics

Added to PP
2016-06-30

Downloads
22 (#732,694)

6 months
4 (#863,607)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references