On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0

DOI10.2178/JSL/1190150109zbMath1011.03027OpenAlexW2109200492MaRDI QIDQ3149994

Alexandra Shlapentokh

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

zbMATH Keywords

analogue of Hilbert's tenth problemfunction fielddecidability

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items (5)

Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ Algebraic dimension over Frobenius fields ⋮ A universal first-order formula defining the ring of integers in a number field ⋮ 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0