Arithmetical problems and recursively enumerable predicates

Journal of Symbolic Logic 18 (1):33-41 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266325

Other Versions

reprint Davis, Martin (1953) "Arithmetical Problems and Recursively Enumerable Predicates". Journal of Symbolic Logic 18(4):341-342

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,885

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: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.
Arithmetical representation of recursively enumerable sets.Raphael M. Robinson - 1956 - Journal of Symbolic Logic 21 (2):162-186.
Robinson Raphael M.. Arithmetical representation of recursively enumerable sets. [REVIEW]Hilary Putnam - 1959 - Journal of Symbolic Logic 24 (2):170-171.
Review: Yu. V. Matijasevic, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):606-607.
Word Problems and Recursively Enumerable Degrees of Unsolvability. An Emendation.William W. Boone & Donald J. Collins - 1974 - Journal of Symbolic Logic 39 (1):184-185.
Classes of Recursively Enumerable Sets and their Decision Problems.H. G. Rice - 1954 - Journal of Symbolic Logic 19 (2):121-122.
Recursively Enumerable Sets of Positive Integers and Their Decision Problems.Emil L. Post - 1945 - Journal of Symbolic Logic 10 (1):18-19.
Simplicity of Recursively Enumerable Sets.Two Theorems on hyperhypersimple Sets.On the Lattice of Recursively Enumerable Sets.The Elementary Theory of Recursively Enumerable Sets.Robert W. Robinson & A. H. Lachlan - 1970 - Journal of Symbolic Logic 35 (1):153-155.

Analytics

Added to PP
2009-01-28

Downloads
36 (#684,199)

6 months
9 (#419,669)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Existential arithmetization of Diophantine equations.Yuri Matiyasevich - 2009 - Annals of Pure and Applied Logic 157 (2-3):225-233.
Extending and interpreting Post’s programme.S. Barry Cooper - 2010 - Annals of Pure and Applied Logic 161 (6):775-788.
Hilbert's problems.J. Fang - 1969 - Philosophia Mathematica (1-2):38-53.

View all 8 citations / Add more citations

References found in this work

Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.

Add more references