Diophantine Representation of Enumerable Predicates

Journal of Symbolic Logic 39 (3):605-605 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272915

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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: Ju. V. Matijasevic, F. M. Goldware, Diophantine Representation of Enumerable Predicates. [REVIEW]Martin Davis - 1974 - Journal of Symbolic Logic 39 (3):605-605.
Review: Yu. V. Matijasevic, J. E. Fenstad, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.
Review: Yu. V. Matijasevic, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):606-607.
A direct method for simulating partial recursive functions by Diophantine equations.Yuri Matiyasevich - 1994 - Annals of Pure and Applied Logic 67 (1-3):325-348.
Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
Register machine proof of the theorem on exponential diophantine representation of enumerable sets.J. P. Jones & Y. V. Matijasevič - 1984 - Journal of Symbolic Logic 49 (3):818-829.
Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets are Diophantine. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Diophantine properties of finite commutative rings.Mihai Prunescu - 2003 - Archive for Mathematical Logic 42 (3):293-302.
Arithmetical problems and recursively enumerable predicates.Martin Davis - 1953 - Journal of Symbolic Logic 18 (1):33-41.
The problem of the simplest Diophantine representation.Panu Raatikainen - 1997 - Nordic Journal of Philosophical Logic 2:47-54.
Review: Ju. V. Matijasevic, R. N. Gross, Diophantine Representation of the Set of Prime Numbers. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):607-607.
Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.
Minimalism, fiction and ethical truth.Graham Oppy - manuscript
An Interval of Computably Enumerable Isolating Degrees.Matthew C. Salts - 1999 - Mathematical Logic Quarterly 45 (1):59-72.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,546,680)

6 months
5 (#649,144)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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