A decision method for $p$-adic integral zeros of diophantine equations
HTML articles powered by AMS MathViewer
References
- 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 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 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-Los Angeles, Calif., 1951. 2nd ed. MR 0044472 6. B. L. van der Waerden, Modern algebra, Vol. 1, Ungar, New York, 1949.
Additional Information
- Journal: Bull. Amer. Math. Soc. 69 (1963), 513-517
- DOI: https://doi.org/10.1090/S0002-9904-1963-10979-9
- MathSciNet review: 0168460