Questions of decidability and undecidability in Number Theory
From MaRDI portal
Recommendations
Cites work
- A higher dimensional analogue of Mordell's conjecture over function fields
- A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory.
- Diophantine approximation on abelian varieties
- Higher dimensional diophantine problems
- Hilbert's tenth problem for fields of rational functions over finite fields
- scientific article; zbMATH DE number 4021564 (Why is no real title available?)
- scientific article; zbMATH DE number 3465382 (Why is no real title available?)
- scientific article; zbMATH DE number 3559512 (Why is no real title available?)
- Hyperbolic and Diophantine analysis
- In hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968
- Meromorphic mappings onto compact complex spaces of general type
- On the least solution of Pell’s equation
- Proof of Recursive Unsolvability of Hilbert's Tenth Problem
- Rational points of bounded height on Fano varieties
- Rational points on K3 surfaces: A new canonical height
Cited in
(51)- 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
- Problems equivalent to rational Diophantine solvability
- On the theories of free solvable groups
- The logic of pseudo-\(S\)-integers
- Definability and decidability problems in number theory. Abstracts from the workshop held October 23--29, 2016
- On Rumely's local-global principle
- Defining integrality at prime sets of high density in number fields.
- On a theorem of Matiyasevich
- 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
- Generic undecidability of existential theory of integer numbers ring
- Extendability of continuous maps is undecidable
- Algebraic cycles from a computational point of view
- Unsolvability of some optimization problems
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
- Decidability of NP-complete problems
- Elliptic curve points and Diophantine models of Z 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
- Some proofs of undecidability of arithmetic
- Extensions of Hilbert's tenth problem: definability and decidability in number theory
- Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
- Undecidability in number theory
- MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
- Note on Quantifier Prefixes Over Diophantine Equations
- Computational complexities of diophantine equations with parameters
- On the decidability of Diophantine problems in combinatorial geometry
- A survey on Büchi's problem: new presentations and open problems
- DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
- ∀-free metabelian groups
- Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories
- scientific article; zbMATH DE number 1500614 (Why is no real title available?)
- Sequences of powers with second differences equal to two and hyperbolicity
- Hilbert's tenth problem, elliptic curves and the Mazur's conjecture
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ
- The number of certain integral polynomials and nonrecursive sets of integers, Part 2
- scientific article; zbMATH DE number 1414366 (Why is no real title available?)
- Positive existential definability of multiplication from addition and the range of a polynomial
- Undecidability of ℚ⁽²⁾
- Büchi's problem in modular arithmetic for arbitrary quadratic polynomials
- Undecidability in number theory
- Representation of squares by monic second degree polynomials in the field of p-adic meromorphic functions
- Elliptic divisibility sequences and undecidable problems about rational points
- The work of Barry Mazur
- 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
This page was built for publication: Questions of decidability and undecidability in Number Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4302339)
