The following pages link to (Q3423328):
Displaying 34 items.
- The work of Kim and Roush on questions of decidability in algebra and number theory (Q368679) (← links)
- A survey on Büchi's problem: new presentations and open problems (Q393235) (← links)
- The analogue of Büchi's problem for function fields (Q555587) (← links)
- Additional results to a theorem of Eisenträger and Everest (Q636794) (← links)
- Powerful values of polynomials and a conjecture of Vojta (Q740847) (← links)
- What can and cannot be done with Diophantine problems (Q741171) (← links)
- Further results on Hilbert's tenth problem (Q829448) (← links)
- Defining the integers in large rings of a number field using one universal quantifier (Q843611) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank (Q1005933) (← links)
- Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q2167510) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field (Q2359446) (← links)
- Diophantine definability and decidability in extensions of degree 2 of totally real fields (Q2370285) (← links)
- Elliptic curves, \(L\)-functions, and Hilbert's tenth problem (Q2406359) (← links)
- Existential Diophantine definability of string length (Q2419123) (← links)
- Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)
- The number of solutions of a diophantine equation over a recursive ring (Q2855895) (← links)
- THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS (Q2978875) (← links)
- Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- Descent on elliptic curves and Hilbert’s tenth problem (Q3629416) (← links)
- Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
- Diophantine problems in solvable groups (Q4997864) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)
- HTP-COMPLETE RINGS OF RATIONAL NUMBERS (Q5070470) (← links)
- NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES (Q5070471) (← links)
- Model Theory in Algebra, Analysis and Arithmetic: A Preface (Q5256620) (← links)
- Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions (Q5388829) (← links)
- Elliptic divisibility sequences and undecidable problems about rational points (Q5459214) (← links)
- Existential definability and diophantine stability (Q6048600) (← links)
- Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) (Q6142637) (← links)
- Hilbert's tenth problem in anticyclotomic towers of number fields (Q6567172) (← links)
- A survey of local-global methods for Hilbert's tenth problem (Q6611633) (← links)
