Universal diophantine equation

Journal of Symbolic Logic 47 (3):549-571 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273588

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

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

Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
Existential arithmetization of Diophantine equations.Yuri Matiyasevich - 2009 - Annals of Pure and Applied Logic 157 (2-3):225-233.
James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 , pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87 , pp. 631–648. - James Ax and Simon Kochen. Diophantine problems over local fields III. Decidable fields. Annals of mathematics, vol. 83 , pp. 437–456. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):683-684.
Charles N. Delzell. Note on quantifier prefixes over diophantine equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 32 , pp. 395–397. - J. P. Jones, H. Levitz, and A. J. Wilkie. Classification of quantifier prefixes over exponential diophantine equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 32 , pp. 399–406. [REVIEW]Shih Ping Tung - 1988 - Journal of Symbolic Logic 53 (1):309-310.
Ax James. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 , pp. 161–183.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):161-162.
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$.Mihai Prunescu - forthcoming - Archive for Mathematical Logic:1-6.
G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp. [REVIEW]Antoine Chambert-Loir - 2017 - Bulletin of Symbolic Logic 23 (1):115-117.
Classification of Quantifier Prefixes Over Diophantine Equations.Some Diophantine Forms of Godel's Theorem.Universal Diophantine Equation.Exponential Diophantine Representation of Recursively Enumerable Sets.Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets.James P. Jones, Verena H. Dyson, John C. Shepherdson & J. P. Jones - 1986 - Journal of Symbolic Logic 51 (2):477-479.
Nerode A.. A decision method for p-adic integral zeros of diophantine equations. Bulletin of the American Mathematical Society, vol. 69 , pp. 513–517. [REVIEW]Julia Robinson - 1965 - Journal of Symbolic Logic 30 (3):391-391.
James L. Hein. Discrete structures, logic, and computability. Jones and Bartlett, Boston and London1995, xx + 866 pp. [REVIEW]Carlos Alves - 1997 - Journal of Symbolic Logic 62 (4):1494-1496.

Analytics

Added to PP
2009-01-28

Downloads
113 (#190,282)

6 months
19 (#155,570)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.
The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Da Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553 - 568.

Add more citations

References found in this work

No references found.

Add more references