Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings. II
From MaRDI portal
Publication:4141217
DOI10.2307/2040995zbMath0365.02019OpenAlexW4249080590MaRDI QIDQ4141217
Publication date: 1977
Full work available at URL: https://doi.org/10.2307/2040995
Decidability (number-theoretic aspects) (11U05) Ultraproducts (number-theoretic aspects) (11U07) General logic (03B99) Algorithms in computer science (68W99)
Related Items (5)
The Diophantine Problem for Polynomial Rings and Fields of Rational Functions ⋮ Existential decidability for addition and divisibility in holomorphy subrings of global fields ⋮ THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS ⋮ The diophantine problem for addition and divisibility for subrings of rational functions over finite fields ⋮ Elliptic divisibility sequences and undecidable problems about rational points
Cites Work
This page was built for publication: Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings. II