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: 91,592

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

On a question of G. E. Sacks.Kempachiro Ohashi - 1970 - Journal of Symbolic Logic 35 (1):46-50.
A stronger form of a theorem of Friedberg.Kempachiro Ohashi - 1964 - Notre Dame Journal of Formal Logic 5 (1):10-12.
Enumeration of some classes of recursively enumerable sets.Kempachiro Ohashi - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (1):1-6.
Extensions of some theorems of Godel and church.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 230.
Generic Complexity of Undecidable Problems.Alexei G. Myasnikov & Alexander N. Rybalov - 2008 - Journal of Symbolic Logic 73 (2):656 - 673.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Some results on measure independent gödel speed-ups.Martin K. Solomon - 1978 - Journal of Symbolic Logic 43 (4):667-672.
Derrida and Formal Logic: Formalising the Undecidable.Paul Livingston - 2010 - Derrida Today 3 (2):221-239.
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.
Finite combinatory processes. Formulation I.Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 289.
Undecidable wreath products and skew power series fields.Françoise Delon & Patrick Simonetta - 1998 - Journal of Symbolic Logic 63 (1):237-246.
Quantum superposition justified in a new non-aristotelian finitary logic.Radhakrishnan Srinivasan - unknown
The Π₃-Theory of the [image] -Enumeration Degrees Is Undecidable.Thomas F. Kent - 2006 - Journal of Symbolic Logic 71 (4):1284 - 1302.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.

Analytics

Added to PP
2013-11-22

Downloads
15 (#940,347)

6 months
4 (#779,041)

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