Diophantine classes of holomorphy rings of global fields
From MaRDI portal
Publication:1336465
DOI10.1006/jabr.1994.1276zbMath0810.11073OpenAlexW2080351174MaRDI QIDQ1336465
Publication date: 20 December 1994
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jabr.1994.1276
decidabilityHilbert's tenth problemdiophantine setdiophantine classes of holomorphy ringsdiophantine equivalencediophantine generation
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Diophantine equations (11D99)
Related Items (20)
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 ℚ ⋮ The logic of pseudo-\(S\)-integers ⋮ Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers ⋮ Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Defining integrality at prime sets of high density in number fields. ⋮ Irreducibility of polynomials over global fields is diophantine ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Recursively enumerable sets of polynomials over a finite field are Diophantine ⋮ Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 ⋮ Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$ ⋮ Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank ⋮ Julia Robinson numbers ⋮ Diophantine definability of nonnorms of cyclic extensions of global fields ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\) ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 ⋮ DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES ⋮ On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
This page was built for publication: Diophantine classes of holomorphy rings of global fields