scientific article
From MaRDI portal
Publication:3423328
zbMath1196.11166MaRDI QIDQ3423328
Publication date: 22 February 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to number theory (11-02) Diophantine equations (11D99)
Related Items (32)
Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field ⋮ The Diophantine problem in the classical matrix groups ⋮ Further results on Hilbert's tenth problem ⋮ Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ Defining the integers in large rings of a number field using one universal quantifier ⋮ HTP-COMPLETE RINGS OF RATIONAL NUMBERS ⋮ NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ Existential decidability for addition and divisibility in holomorphy subrings of global fields ⋮ The work of Kim and Roush on questions of decidability in algebra and number theory ⋮ Elliptic curves, \(L\)-functions, and Hilbert's tenth problem ⋮ A survey on Büchi's problem: new presentations and open problems ⋮ Existential definability and diophantine stability ⋮ Existential Diophantine definability of string length ⋮ Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) ⋮ Additional results to a theorem of Eisenträger and Everest ⋮ THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Constraint Satisfaction Problems over Numeric Domains ⋮ Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions ⋮ Martin Davis and Hilbert’s Tenth Problem ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ The analogue of Büchi's problem for function fields ⋮ Elliptic divisibility sequences and undecidable problems about rational points ⋮ Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 ⋮ 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 ⋮ Descent on elliptic curves and Hilbert’s tenth problem ⋮ Diophantine problems in solvable groups ⋮ The number of solutions of a diophantine equation over a recursive ring ⋮ Model Theory in Algebra, Analysis and Arithmetic: A Preface ⋮ Definability and decidability in infinite algebraic extensions
This page was built for publication: