First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0

DOI10.1016/j.apal.2005.04.004zbMath1079.03025OpenAlexW1977680360MaRDI QIDQ2570137

Alexandra Shlapentokh

Publication date: 26 October 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.04.004

zbMATH Keywords

Function fieldsFirst-order definabilityFirst-order undecidability

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)

Related Items (2)

First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
• Hilbert's Tenth Problem for rings of algebraic functions of characteristic 0
• 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
• Elementary equivalence versus isomorphism
• La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
• Hilbert's tenth problem for rings of rational functions
• Defining integrality at prime sets of high density over function fields
• Algebraic and Turing separability of rings
• Diophantine unsolvability over \(p\)-adic function fields
• Defining integrality at prime sets of high density in number fields.
• On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
• The Undecidability of Algebraic Rings and Fields
• Extension of Hilbert's tenth problem to some algebraic number fields
• Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
• Diophantine relationships between algebraic number fields
• Diophantine Sets Over Algebraic Integer Rings. II
• Undecidability and Definability for the Theory of Global Fields
• Hilbert's Tenth Problem for Quadratic Rings
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• Diophantine Sets over Some Rings of Algebraic Integers
• DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
• Indécidabilité des corps de courbe réelle
• Questions of decidability and undecidability in Number Theory
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• Defining transcendentals in function fields
• An analogue of Hilbert's tenth problem for p-adic entire functions
• Diophantine relations between rings of S-integers of fields of algebraic functions in one variable over constant fields of positive characteristic
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• Definability and decision problems in arithmetic
• The existential theory of real hyperelliptic function fields

This page was built for publication: First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0