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 [Book Review]

Journal of Symbolic Logic 36 (4):683-684 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272500

Other Versions

No versions found

Links

PhilArchive



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

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

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.
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.
Diophantine Problems Over Local Fields I.James Ax & Simon Kochen - 1971 - Journal of Symbolic Logic 36 (4):683-684.
Kochen Simon. Ultraproducts in the theory of models. Annals of mathematics, ser. 2 vol. 74 no. 2 , pp. 221–261.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):355-357.
Ax James. On the undecidability of power series fields. Proceedings of the American Mathematical Society, vol. 16 , p. 846. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):684-684.
An ax-kochen-Ershov theorem for monotone differential-Henselian fields.Tigran Hakobyan - 2018 - Journal of Symbolic Logic 83 (2):804-816.
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.
Julia Robinson. Unsolvable diophantine problems. Proceedings of the American Mathematical Society, vol. 22 , pp. 534–538. [REVIEW]Robert A. DiPaola - 1972 - Journal of Symbolic Logic 37 (3):603-604.
A model complete theory of valued d-fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
Martin Davis, Hilary Putnam, and Julia Robinson. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 , pp. 425–436. [REVIEW]Hartley Rogers - 1970 - Journal of Symbolic Logic 35 (1):151-152.

Analytics

Added to PP
2013-11-03

Downloads
40 (#563,186)

6 months
12 (#301,340)

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