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
- 1. 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, https://doi.org/10.1098/rsta.1956.0003
- 2. K. Hensel, Theorie der algebraischen Zahlen, Teubner, Leipzig, 1908.
- 3. Michael O. Rabin, Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. 95 (1960), 341–360. MR 113807, 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.
- 5. 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.
Additional Information
DOI:
https://doi.org/10.1090/S0002-9904-1963-10979-9
