Existential decidability for addition and divisibility in holomorphy subrings of global fields

DOI10.1016/j.jnt.2022.04.005OpenAlexW3096903294WikidataQ114156510 ScholiaQ114156510MaRDI QIDQ2167510

Javier Utreras, Xavier Vidaux, Carlos Azarel Martínez-Ranero

Publication date: 25 August 2022

Published in: Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

decidabilityglobal fieldsHilbert's tenth problemfragments of arithmetic

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existential theory of equicharacteristic Henselian valued fields
• Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points
• Division-ample sets and the Diophantine problem for rings of integers
• Ranks of twists of elliptic curves and Hilbert's tenth problem
• On Artin's conjecture and Euclid's algorithm in global 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
• Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
• Hilbert's Tenth Problem for Quadratic Rings
• Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings. II
• The Diophantine Problem for Addition and Divisibility
• Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings
• Diophantine Sets over Some Rings of Algebraic Integers
• Diophantine stability
• Diophantine undecidability for addition and divisibility in polynomial rings
• The diophantine problem for addition and divisibility for subrings of rational functions over finite fields
• AN EXISTENTIAL ∅-DEFINITION OF IN
• EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
• THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS
• Diophantine Problems Over Local Fields I

This page was built for publication: Existential decidability for addition and divisibility in holomorphy subrings of global fields