Ax James. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 , pp. 161–183

Journal of Symbolic Logic 38 (1):161-162 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271762

Other Versions

No versions found

Links

PhilArchive



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

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

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.
Solving Diophantine Problems Modulo Every Prime.James Ax - 1973 - Journal of Symbolic Logic 38 (1):161-162.
Ax James. The elementary theory of finite fields. Annals of mathematics, ser. 2 vol. 88 , pp. 239–271.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):162-163.
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.
William W. Boone. Word problems and recursively enumerable degrees of unsolvability. An emendation. Annals of mathematics, ser. 2 vol. 94 , pp. 389–391. - Donald J. Collins. Truth-table degrees and the Boone groups. Annals of mathematics, ser. 2 vol. 94 , pp. 392–396. [REVIEW]Charles E. Hughes - 1974 - Journal of Symbolic Logic 39 (1):184-185.
Jack H. Silver. Measurable cardinals and well-orderings. Annals of mathematics, ser. 2 vol. 94 , pp. 414–446.Menachem Magidor - 1974 - Journal of Symbolic Logic 39 (2):330-331.
Newman M. H. A.. On theories with a combinatorial definition of “equivalence.” Annals of mathematics, ser. 2 vol. 43 , pp. 223–243. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):123-123.
Rabin Michael O.. Recursive unsolvability of group theoretic problems. Annals of mathematics, ser. 2 vol. 67 , pp. 172–194. [REVIEW]Bernhard H. Neumann - 1958 - Journal of Symbolic Logic 23 (1):55-56.
Lachlan A. H.. On some games which are relevant to the theory of recursively enumerable sets. Annals of mathematics, ser. 2 vol. 91 , pp. 291–310. [REVIEW]Gregory W. Jones - 1974 - Journal of Symbolic Logic 39 (2):345-345.
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 , pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 , pp. 417–434. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.

Analytics

Added to PP
2013-11-03

Downloads
34 (#670,934)

6 months
9 (#504,609)

Historical graph of downloads
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