Undecidability and recursive inseparability

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19580040705

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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: Raymond M. Smullyan, Undecidability and Recursive Inseparability. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):165-165.
Inseparability in recursive copies.Kevin J. Davey - 1994 - Annals of Pure and Applied Logic 68 (1):1-52.
On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7‐10):124-135.
Review: Raymond M. Smullyan, Creativity and Effective Inseparability. [REVIEW]J. P. Cleave - 1965 - Journal of Symbolic Logic 30 (3):391-392.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
What is Absolute Undecidability?†.Justin Clarke-Doane - 2012 - Noûs 47 (3):467-481.
Three concepts of decidability for general subsets of uncountable spaces.Matthew W. Parker - 2003 - Theoretical Computer Science 351 (1):2-13.
Jacques Derrida and Alain Badiou: Is there a relation between politics and time?Antonio Calcagno - 2004 - Philosophy and Social Criticism 30 (7):799-815.
Thought insertion and the inseparability thesis.Paul J. Gibbs - 2000 - Philosophy, Psychiatry, and Psychology 7 (3):195-202.
Graph Coloring and Reverse Mathematics.James H. Schmerl - 2000 - Mathematical Logic Quarterly 46 (4):543-548.
The automorphism group of a resplendent model.James H. Schmerl - 2012 - Archive for Mathematical Logic 51 (5-6):647-649.

Analytics

Added to PP
2014-01-16

Downloads
43 (#360,193)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Computability, orders, and solvable groups.Arman Darbinyan - 2020 - Journal of Symbolic Logic 85 (4):1588-1598.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Languages in which self reference is possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
Decidability and essential undecidability.Hilary Putnam - 1957 - Journal of Symbolic Logic 22 (1):39-54.

View all 8 references / Add more references