Results 1  10
of
25
Using Elliptic Curves of Rank One towards the Undecidability of Hilbert's Tenth Problem over Rings of Algebraic Integers
"... Let F be their rings of integers. If there exists an elliptic curve E over F such that rk E(F ) = rk E(K) = 1, then there exists a diophantine definition of . ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
Let F be their rings of integers. If there exists an elliptic curve E over F such that rk E(F ) = rk E(K) = 1, then there exists a diophantine definition of .
Open Diophantine Problems
 MOSCOW MATHEMATICAL JOURNAL
, 2004
"... Diophantine Analysis is a very active domain of mathematical research where one finds more conjectures than results. We collect here a number of open questions concerning Diophantine equations (including Pillai’s Conjectures), Diophantine approximation (featuring the abc Conjecture) and transcendent ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
Diophantine Analysis is a very active domain of mathematical research where one finds more conjectures than results. We collect here a number of open questions concerning Diophantine equations (including Pillai’s Conjectures), Diophantine approximation (featuring the abc Conjecture) and transcendental number theory (with, for instance, Schanuel’s Conjecture). Some questions related to Mahler’s measure and Weil absolute logarithmic height are then considered (e. g., Lehmer’s Problem). We also discuss Mazur’s question regarding the density of rational points on a variety, especially in the particular case of algebraic groups, in connexion with transcendence problems in several variables. We say only a few words on metric problems, equidistribution questions, Diophantine approximation on manifolds and Diophantine analysis on function fields.
On Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
, 2001
"... Let M be a number field. Let W be a set of nonarchimedean primes of M . Let OM,W = {x # M  ord p x # 0 #p ## W}. The author continues her investigation of Diophantine definability and decidability in rings OM,W where W is infinite. In this paper she improves her previous density estimat ..."
Abstract

Cited by 13 (11 self)
 Add to MetaCart
Let M be a number field. Let W be a set of nonarchimedean primes of M . Let OM,W = {x # M  ord p x # 0 #p ## W}. The author continues her investigation of Diophantine definability and decidability in rings OM,W where W is infinite. In this paper she improves her previous density estimates and extends the results to the totally complex extensions of degree 2 of the totally real fields. In particular, the following results are proved. Let M be a totally real field or a totally complex extension of degree 2 of a totally real field. Then for any # > 0 there exists a set WM of primes of M whose density is bigger than 1  [M : Q] 1  # and such that Z has a Diophantine definition over OM,WM . (Thus, Hilbert's Tenth Problem is undecidable in OM,WM .) Let M be as above and let # > 0 be given. Let SQ be the set of all rational primes splitting in M . (If the extension is Galois but not cyclic, SQ contains all the rational primes.) Then there exists a set of Mprimes WM such that the set of rational primes WQ below WM di#ers from SQ by a set contained in a set of density less than # and such that Z has a Diophantine definition over OM,WM . (Again this will imply that Hilbert's Tenth Problem is undecidable in OM,WM .) 1
DIOPHANTINE DEFINABILITY OF INFINITE DISCRETE NONARCHIMEDEAN SETS AND DIOPHANTINE MODELS OVER Large Subrings Of Number Fields
, 2004
"... We prove that infinite padically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree2 extension of a totally real number field, then there exists a prime p of K and a set of Kprimes S of densit ..."
Abstract

Cited by 11 (8 self)
 Add to MetaCart
(Show Context)
We prove that infinite padically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree2 extension of a totally real number field, then there exists a prime p of K and a set of Kprimes S of density arbitrarily close to 1 such that there is an infinite padically discrete set that is Diophantine over the ring OK,S of Sintegers in K. Second, if K is a number field over which there exists an elliptic curve of rank 1, then there exists a set of Kprimes S of density 1 and an infinite Diophantine subset of OK,S that is vadically discrete for every place v of K. Third, if K is a number field over which there exists an elliptic curve of rank 1, then there exists a set of Kprimes S of density 1 such that there exists a Diophantine model of Z over OK,S. This line of research is motivated by a question of Mazur concerning the distribution of rational points on varieties in a nonarchimedean topology and questions concerning extensions of Hilbert’s Tenth Problem to subrings of number fields.
DEFINING INTEGRALITY AT PRIME SETS OF HIGH DENSITY IN NUMBER FIELDS
 VOL. 101, NO. 1 DUKE MATHEMATICAL JOURNAL
, 2000
"... ..."
COUNTING SPECIAL POINTS: LOGIC, DIOPHANTINE GEOMETRY AND TRANSCENDENCE THEORY
"... ABSTRACT. We expose a theorem of Pila and Wilkie on counting rational points in sets definable in ominimal structures and some applications of this theorem to problems in diophantine geometry due to Masser, Peterzil, Pila, Starchenko, and Zannier. 1. ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
(Show Context)
ABSTRACT. We expose a theorem of Pila and Wilkie on counting rational points in sets definable in ominimal structures and some applications of this theorem to problems in diophantine geometry due to Masser, Peterzil, Pila, Starchenko, and Zannier. 1.
Extensions of Büchi’s problem : Questions of decidability for addition and kth powers
"... The authors thank the referee for his comments. The second author aknowledges the hospitality of the University of CreteHeraklion, where the main part of this work was done. Abstract. We generalize a question of Büchi: Let R be an integral domain, C a subring and k ≥ 2 an integer. Is there an algo ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
(Show Context)
The authors thank the referee for his comments. The second author aknowledges the hospitality of the University of CreteHeraklion, where the main part of this work was done. Abstract. We generalize a question of Büchi: Let R be an integral domain, C a subring and k ≥ 2 an integer. Is there an algorithm to decide the solvability in R of any given system of polynomial equations, each of which is linear in the k−th powers of the unknowns, with coefficients in C? We state a numbertheoretical problem, depending on k, a positive answer to which would imply a negative answer to the question for R = C = Z. We reduce a negative answer for k = 2 and for R = F (t), a field of rational functions of zero characteristic, to the undecidability of the ring theory of F (t). We address the similar question, where we allow, along with the equations, also conditions of the form ‘x is a constant ’ and ‘x takes the value 0 at t = 0’, for k = 3 and for function fields R = F (t) of zero characteristic, with C = Z[t]. We prove that a negative answer to this question would follow from a negative answer for a ring between Z and the extension of Z by a primitive cube root of 1.
ELLIPTIC CURVES RETAINING THEIR RANK IN FINITE EXTENSIONS AND HILBERT’S TENTH PROBLEM FOR RINGS OF ALGEBRAIC NUMBERS
, 2008
"... Abstract. Using Poonen’s version of the “weak vertical method ” we produce new examples of “large ” and “small ” rings of algebraic numbers (including rings of integers) where Z and/or the ring of integers of a subfield are existentially definable and/or where the ring version of Mazur’s conjecture ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
(Show Context)
Abstract. Using Poonen’s version of the “weak vertical method ” we produce new examples of “large ” and “small ” rings of algebraic numbers (including rings of integers) where Z and/or the ring of integers of a subfield are existentially definable and/or where the ring version of Mazur’s conjecture on the topology of rational points does not hold. 1.
DIOPHANTINE DEFINABILITY AND DECIDABILITY IN THE EXTENSIONS OF DEGREE 2 OF TOTALLY REAL FIELDS
, 2006
"... Abstract. We investigate Diophantine definability and decidability over some subrings of algebraic numbers contained in quadratic extensions of totally real algebraic extensions of Q. Among other results we prove the following. The big subring definability and undecidability results previously shown ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
(Show Context)
Abstract. We investigate Diophantine definability and decidability over some subrings of algebraic numbers contained in quadratic extensions of totally real algebraic extensions of Q. Among other results we prove the following. The big subring definability and undecidability results previously shown by the author to hold over totally complex extensions of degree 2 of totally real number fields, are shown to hold for all extensions of degree 2 of totally real number fields. The definability and undecidability results for integral closures of “small ” and “big ” subrings of number fields in the infinite algebraic extensions of Q, previously shown by the author to hold for totally real fields, are extended to a large class of extensions of degree 2 of totally real fields. This class includes infinite cyclotomics and abelian extensions with finitely many ramified rational primes. 1.
On diophantine definability and decidability in some infinite totally real extensions
 of Q, Trans. Amer. Math. Soc
"... Abstract. Let M be a number field, and WM a set of its nonArchimedean primes. Then let OM,W = {x ∈ M  ordt x ≥ 0, ∀t � ∈ WM}. Let{p1,...,pr} M be a finite set of prime numbers. Let Finf be the field generated by all the p j ith roots of unity as j → ∞ and i = 1,...,r. Let Kinf be the largest tot ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
(Show Context)
Abstract. Let M be a number field, and WM a set of its nonArchimedean primes. Then let OM,W = {x ∈ M  ordt x ≥ 0, ∀t � ∈ WM}. Let{p1,...,pr} M be a finite set of prime numbers. Let Finf be the field generated by all the p j ith roots of unity as j → ∞ and i = 1,...,r. Let Kinf be the largest totally real subfield of Finf. Then for any ε>0, there exist a number field M ⊂ Kinf,andasetWMof nonArchimedean primes of M such that WM has density greater than 1 − ε, andZhas a Diophantine definition over the integral closure of OM,W in Kinf. M 1.