A decision method for 𝑝-adic integral zeros of diophantine equations

Nerode, A.

doi:10.1090/S0002-9904-1963-10979-9

Bulletin of the American Mathematical Society

Published by the American Mathematical Society, the Bulletin of the American Mathematical Society (BULL) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.

ISSN 1088-9485 (online) ISSN 0273-0979 (print)

The 2020 MCQ for Bulletin of the American Mathematical Society is 0.47.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

A decision method for $p$-adic integral zeros of diophantine equations
HTML articles powered by AMS MathViewer

by A. Nerode PDF

Bull. Amer. Math. Soc. 69 (1963), 513-517

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
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
Alfred Tarski, A decision method for elementary algebra and geometry, University of California Press, Berkeley-Los Angeles, Calif., 1951. 2nd ed. MR 0044472

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