Extensions of Hilbert's tenth problem

Journal of Symbolic Logic 59 (2):372-397 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275396

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

Review: Martin Davis, Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):602-602.
Reductions of Hilbert's tenth problem.Martin Davis & Hilary Putnam - 1958 - Journal of Symbolic Logic 23 (2):183-187.
An analogue of Hilbert's tenth problem for p-adic entire functions.Leonard Lipshitz & Thanases Pheidas - 1995 - Journal of Symbolic Logic 60 (4):1301-1309.
Review: Yuri V. Matiyasevich, Martin Davis, Hilbert's Tenth Problem. [REVIEW]C. Dimitracopoulos - 1997 - Journal of Symbolic Logic 62 (2):675-677.
Martin Davis and Hilary Putnam. Reductions of Hilbert's tenth problem. The Journal of symbolic logic, vol. 23 no. 2 , pp. 183–187.Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):601.
Review: Martin Davis, Computability & Unsolvability; Martin Davis, Hilbert's Tenth Problem is Unsolvable. [REVIEW]H. B. Enderton - 1987 - Journal of Symbolic Logic 52 (1):294-294.
Review: Yu. V. Matiyasevich, A. O. Slisenko, Two Reductions of Hilbert's Tenth Problem. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
Review: Yu. V. Matiyasevich, A. O. Slisenko, The Connection between Hilbert's Tenth Problem and Systems of Equations between Words and Lengths. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-604.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
A Story of Hilbert’s Tenth Problem.Laura Morales Guerrero - 2016 - In Alberto Policriti & Eugenio Omodeo (eds.), Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Cham, Switzerland: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
28 (#588,332)

6 months
6 (#588,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decidability questions for a ring of Laurent polynomials.Alla Sirokofskich - 2012 - Annals of Pure and Applied Logic 163 (5):615-619.

Add more citations

References found in this work

Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
The undecidability of pure transcendental extensions of real fields.Raphael M. Robinson - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):275-282.
Classification of Quantifier Prefixes Over Diophantine Equations.James P. Jones - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):403-410.
Classification of Quantifier Prefixes Over Diophantine Equations.James P. Jones - 1981 - Mathematical Logic Quarterly 27 (25‐30):403-410.

Add more references