Undecidable existential problems for addition and divisibility in algebraic number rings
HTML articles powered by AMS MathViewer
- by L. Lipshitz PDF
- Trans. Amer. Math. Soc. 241 (1978), 121-128 Request permission
Abstract:
Existential formulas involving addition and divisibility are shown to be undecidable in the ring of integers of a real quadratic extension of the rationals. A weaker result is proved for extensions of higher degree.References
-
A. P. Bel’tyukov, Abstracts: Students’ Scientific Conference, Leningrad University, 1975.
- A. I. Borevich and I. R. Shafarevich, Number theory, Pure and Applied Mathematics, Vol. 20, Academic Press, New York-London, 1966. Translated from the Russian by Newcomb Greenleaf. MR 0195803
- R. D. Carmichael, On the numerical factors of the arithmetic forms $\alpha ^n\pm \beta ^n$, Ann. of Math. (2) 15 (1913/14), no. 1-4, 30–48. MR 1502458, DOI 10.2307/1967797
- J. Denef, Hilbert’s tenth problem for quadratic rings, Proc. Amer. Math. Soc. 48 (1975), 214–220. MR 360513, DOI 10.1090/S0002-9939-1975-0360513-3
- L. Lipshitz, The Diophantine problem for addition and divisibility, Trans. Amer. Math. Soc. 235 (1978), 271–283. MR 469886, DOI 10.1090/S0002-9947-1978-0469886-1
Additional Information
- © Copyright 1978 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 241 (1978), 121-128
- MSC: Primary 02E10; Secondary 02G05, 10N10
- DOI: https://doi.org/10.1090/S0002-9947-1978-0536658-9
- MathSciNet review: 0536658