Pages that link to "Item:Q4302339"

The following pages link to Questions of decidability and undecidability in Number Theory (Q4302339):

Displaying 31 items.

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