scientific article
From MaRDI portal
Publication:2715530
zbMath0994.03001MaRDI QIDQ2715530
Publication date: 2 October 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to number theory (11-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Diophantine equations in many variables (11D72) Algebraic numbers; rings of algebraic integers (11R04) Multiplicative and norm form equations (11D57)
Related Items (13)
Division-ample sets and the Diophantine problem for rings of integers ⋮ Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ On Diophantine definability and decidability in some infinite totally real extensions of ℚ ⋮ On the expressiveness and decidability of o-minimal hybrid systems ⋮ Existential Diophantine definability of string length ⋮ Rational homotopy type and computability ⋮ Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers ⋮ Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Ranks of twists of elliptic curves and Hilbert's tenth problem ⋮ Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank ⋮ Decidability questions for a ring of Laurent polynomials ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
This page was built for publication: