Effectivity for existence of rational points is undecidable

DOI10.1016/J.JNT.2025.01.023MaRDI QIDQ6979233zbMATH OpenFDO

Authors Natalia Garcia-Fritz, Hector Pasten, Xavier Vidaux

Publication date 26 May 2025

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

Full work available at URL https://doi.org/10.1016/J.JNT.2025.01.023

zbMATH Keywords

effectivityheightsHilbert's tenth problemundecidable

Mathematics Subject Classification ID

Polynomials in number theory (11C08) Heights (11G50) Decidability (number-theoretic aspects) (11U05)

Cites work

• An effort to prove that the existential theory of \(\mathbb Q\) is undecidable
• As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
• Characterizing integers among rational numbers with a universal-existential formula
• Definability and decision problems in arithmetic
• Defining Z in Q
• Defining integrality at prime sets of high density in number fields.
• Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
• Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
• Finiteness theorems for abelian varieties over number fields.
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 2247920 (Why is no real title available?)
• The Arithmetic of Elliptic Curves
• The decision problem for exponential diophantine equations
• The Difference Between the Weil Height and the Canonical Height on Elliptic Curves

This page was built for publication: Effectivity for existence of rational points is undecidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6979233)