Review: Kempachiro Ohashi, On Undecidable Theorems [Book Review]

Journal of Symbolic Logic 34 (1):131-131 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

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

Kempachiro Ohashi. Undecidable theorems ni tuite . Sügaku, vol. 9 no. 2 , pp. 96–97.Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (1):131.
Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404-404.
Review: Gaisi Takeuti, Mariko Yasugi, The Ordinals of the Systems of Second Order Arithmetic with the Provably $triangle^12$-Comprehension Axiom and with the $triangle^12$- Comprehension Axiom Respectively. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-878.
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.
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.
[Challenged by [challenged by [challenged by the Incompleteness Theorems]]] - a review of K. Godel, "Uber fromal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I", translated and commented by Susumu Hayashi and Mariko Yasugi , / Kazuyuki Tanaka, "Challenged by Godel".Sakaé Fuchino - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):63-80.
On Undecidable Theorems.Kempachiro Ohashi - 1969 - Journal of Symbolic Logic 34 (1):131-131.
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Review: A. Ushenko, Undecidable Statements and Metalanguage. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-98.
Review: Martin Davis, The Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable propositions and Unsolvable Problems and Computable Funtions. [REVIEW]Stefan Bauer-Mengelberg - 1966 - Journal of Symbolic Logic 31 (3):484-494.

Analytics

Added to PP
2013-11-22

Downloads
15 (#974,850)

6 months
4 (#863,447)

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