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