Questions of decidability and undecidability in Number Theory

DOI10.2307/2275395zbMath0814.11059OpenAlexW2078890952MaRDI QIDQ4302339

Barry Mazur

Publication date: 15 August 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275395

zbMATH Keywords

undecidabilitydecidabilityHilbert's tenth problemanalogue of Hilbert's Tenth Problem for ringsconjecture of Buchidiscussion of Matiyasevic's result

Mathematics Subject Classification ID

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

Related Items (29)

Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS ⋮ On Diophantine definability and decidability in some infinite totally real extensions of ℚ ⋮ The logic of pseudo-\(S\)-integers ⋮ A survey on Büchi's problem: new presentations and open problems ⋮ Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers ⋮ The work of Barry Mazur ⋮ Sequences of powers with second differences equal to two and hyperbolicity ⋮ ∀-free metabelian groups ⋮ Extendability of continuous maps is undecidable ⋮ Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions ⋮ Defining integrality at prime sets of high density in number fields. ⋮ Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Positive existential definability of multiplication from addition and the range of a polynomial ⋮ Defining Integers ⋮ Algebraic cycles from a computational point of view ⋮ Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 ⋮ Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank ⋮ Powerful values of polynomials and a conjecture of Vojta ⋮ What can and cannot be done with Diophantine problems ⋮ Counting special points: Logic, diophantine geometry, and transcendence theory ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ Büchi’s Problem in Modular Arithmetic for Arbitrary Quadratic Polynomials ⋮ On the theories of free solvable groups ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 ⋮ Quadratic sequences of powers and Mohanty’s conjecture ⋮ DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine approximation on abelian varieties
• A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory.
• Hilbert's tenth problem for fields of rational functions over finite fields
• Rational points of bounded height on Fano varieties
• A higher dimensional analogue of Mordell's conjecture over function fields
• Rational points on K3 surfaces: A new canonical height
• Meromorphic mappings onto compact complex spaces of general type
• Hyperbolic and Diophantine analysis
• Proof of Recursive Unsolvability of Hilbert's Tenth Problem
• Higher dimensional diophantine problems
• In Hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968
• On the least solution of Pell’s equation

This page was built for publication: Questions of decidability and undecidability in Number Theory