On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
From MaRDI portal
Publication:3149994
DOI10.2178/jsl/1190150109zbMath1011.03027OpenAlexW2109200492MaRDI QIDQ3149994
Publication date: 29 May 2003
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1190150109
Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)
Related Items (3)
Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
Cites Work
- Hilbert's tenth problem for fields of rational functions over finite fields
- Hilbert's Tenth Problem for rings of algebraic functions of characteristic 0
- Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
- Diophantine unsolvability for function fields over certain infinite fields of characteristic \(p\)
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
- Diophantine classes of holomorphy rings of global fields
- Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
- Hilbert's tenth problem for algebraic function fields over infinite fields of constants of positive characteristic
- Diophantine unsolvability over \(p\)-adic function fields
- Diophantine undecidability over algebraic function fields over finite fields of constants
- Defining integrality at prime sets of high density in number fields.
- DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
- Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0.
- Hilbert's Tenth Problem is Unsolvable
- Definability and decision problems in arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0