Add to ORKGLet K be an algebraic extension of the rationals and A be the ring of algebraic integers of K. As to the method of proving undecidability of the ring A, it seems that the only one method has been known, which is due to Julia Robinson, especially for infinite algebraic extensions of the rationals. (See [Vi].) We discuss an alternative method for the ring of algebraic integers of cyclotomic towers for some rational primes
AbstractWe prove that if K is a finite extension of Q, P is the set of prime numbers in Z that remai...
These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem ...
This thesis covers the factorization properties of number fields, and presents the structures necess...
Let mathbb{Z}^{tr} be the ring of all totally real algebraic integers in mathbb{C}. We consider (un)...
We will prove that the theory of all modules over the ring of algebraic integers is decidable
In this paper we investigate the algebraic extensions $K$ of $\mathbb{Q}$ in which we cannot existen...
We will prove that the theory of all modules over the ring of algebraic integers is decidable
We will prove that the theory of all modules over the ring of algebraic integers is decidable
AbstractThis paper provides the first examples of rings of algebraic numbers containing the rings of...
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
AbstractLet K be a complete and algebraically closed valued field of characteristic 0. We prove that...
AbstractConditions for divisibility of class numbers of algebraic number fields by prime powers are ...
AbstractWe investigate Diophantine definability and decidability over some subrings of algebraic num...
AbstractWe prove that if K is a finite extension of Q, P is the set of prime numbers in Z that remai...
These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem ...
This thesis covers the factorization properties of number fields, and presents the structures necess...
Let mathbb{Z}^{tr} be the ring of all totally real algebraic integers in mathbb{C}. We consider (un)...
We will prove that the theory of all modules over the ring of algebraic integers is decidable
In this paper we investigate the algebraic extensions $K$ of $\mathbb{Q}$ in which we cannot existen...
We will prove that the theory of all modules over the ring of algebraic integers is decidable
We will prove that the theory of all modules over the ring of algebraic integers is decidable
AbstractThis paper provides the first examples of rings of algebraic numbers containing the rings of...
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
It is shown that the compositum Q(2) of all degree 2 extensions of Q has undecidable theory.articl
AbstractLet K be a complete and algebraically closed valued field of characteristic 0. We prove that...
AbstractConditions for divisibility of class numbers of algebraic number fields by prime powers are ...
AbstractWe investigate Diophantine definability and decidability over some subrings of algebraic num...
AbstractWe prove that if K is a finite extension of Q, P is the set of prime numbers in Z that remai...
These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem ...
This thesis covers the factorization properties of number fields, and presents the structures necess...