Diophantine sets over ${\bf Z}[T]$
نویسندگان
چکیده
منابع مشابه
Diophantine Sets over Algebraic Integer Rings . Ii
We prove that Z is diophantine over the ring of algebraic integers in any totally real number field or quadratic extension of a totally real number field.
متن کاملOn Diophantine Sets over Polynomial Rings
We prove that the recursively enumerable relations over a polynomial ring R[t], where R is the ring of integers in a totally real number field, are exactly the Diophantine relations over R[t].
متن کاملDiophantine Sets of Polynomials over Number Fields
Let R be a number field or a recursive subring of a number field and consider the polynomial ring R[T ]. We show that the set of polynomials with integer coefficients is diophantine over R[T ]. Applying a result by Denef, this implies that every recursively enumerable subset of R[T ]k is diophantine over R[T ].
متن کاملDiophantine Sets of polynomials over Algebraic Extensions of the Rationals
Let L be a recursive algebraic extension of Q. Assume that, given α ∈ L, we can compute the roots in L of its minimal polynomial over Q and we can determine which roots are Aut(L)-conjugate to α. We prove there exists a pair of polynomials that characterizes the Aut(L)-conjugates of α, and that these polynomials can be effectively computed. Assume furthermore that L can be embedded in R, or in ...
متن کاملDiophantine Definability of Infinite Discrete Nonarchimedean Sets and Diophantine Models over Large Subrings of Number Fields
We prove that some infinite p-adically discrete sets have Diophantine definitions in large subrings of number fields. First, if K is a totally real number field or a totally complex degree-2 extension of a totally real number field, then for every prime p of K there exists a set of K-primes S of density arbitrarily close to 1 such that there is an infinite p-adically discrete set that is Diopha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1978
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1978-0462934-x