On existential definitions of c.e. subsets of rings of functions of characteristic 0

DOI10.1016/j.apal.2021.103076zbMath1484.11229arXiv1706.03302OpenAlexW2624892887MaRDI QIDQ2668003

Alexandra Shlapentokh, Russell G. Miller

Publication date: 3 March 2022

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

Full work available at URL: https://arxiv.org/abs/1706.03302

zbMATH Keywords

function fieldsvaluation ringsDiophantine definability

Mathematics Subject Classification ID

Arithmetic theory of algebraic function fields (11R58) Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Valuations and their generalizations for commutative rings (13A18) Model theory (number-theoretic aspects) (11U09) Basic properties of first-order languages and structures (03C07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards finite-fold Diophantine representations
• Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
• Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
• Diophantine unsolvability over \(p\)-adic function fields
• Diophantine definitions for some polynomial rings
• Field Arithmetic
• Diophantine sets of polynomials over number fields
• The Unknown Technology in Homer
• Hilbert's Tenth Problem for Rings of Algebraic Functions in One Variable Over Fields of Constants of Positive Characteristic
• A note on the number of zeros of polynomials and exponential polynomials
• Diophantine Sets Over Z[ T ]
• On Diophantine sets over polynomial rings
• Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
• Class field theory

This page was built for publication: On existential definitions of c.e. subsets of rings of functions of characteristic 0