A decision method for $p$-adic integral zeros of diophantine equations
Author:
A. Nerode
Journal:
Bull. Amer. Math. Soc. 69 (1963), 513-517
DOI:
https://doi.org/10.1090/S0002-9904-1963-10979-9
MathSciNet review:
0168460
Full-text PDF Free Access
References | Additional Information
- A. Fröhlich and J. C. Shepherdson, Effective procedures in field theory, Philos. Trans. Roy. Soc. London Ser. A 248 (1956), 407–432. MR 74349, DOI https://doi.org/10.1098/rsta.1956.0003 2. K. Hensel, Theorie der algebraischen Zahlen, Teubner, Leipzig, 1908.
- Michael O. Rabin, Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. 95 (1960), 341–360. MR 113807, DOI https://doi.org/10.1090/S0002-9947-1960-0113807-4 4. K. Rychlik, Zur Bewertungstheorie der algebraischen Körper, J. Reine Angew. Math. 153 (1924), 95-107.
- Alfred Tarski, A decision method for elementary algebra and geometry, University of California Press, Berkeley and Los Angeles, Calif., 1951. 2nd ed. MR 0044472 6. B. L. van der Waerden, Modern algebra, Vol. 1, Ungar, New York, 1949.