We study four (families of) sets of algebraic integers of degree less than or equal to three. Apart from being simply defined, we show that they share two distinctive characteristics: almost uniformity and arithmetical independence. Here, ``almost uniformity'' means that the elements of a finite set are distributed almost equidistantly in the unit interval, while ``arithmetical independence'' means that the number fields generated by the elements of a set do not have a mutual inclusion relation each other. Furthermore, we reveal to what extent the algebraic number fields generated by the elements of the four sets can cover quadratic or cubic fields.Comment: 17 page
We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical the...
AbstractLet σj(n)=∑d|ndj be the sum of divisors function, and let I be the identity function. When c...
We have provided a pure model-theoretic proof for the decidability of the additive structure of the ...
Let $\lambda_1, \ldots, \lambda_k$ and $\alpha_1, \ldots, \alpha_k$ be nonzero algebraic numbers for...
AbstractThe Exact Geometric Computing approach requires a zero test for numbers which are built up u...
AbstractLet f(z) = Σk = 0∞ zk!. Then in p-adic field we prove that for any algebraic numbers α1 ,…, ...
We prove that Schanuel's conjecture for the reals is equivalent to a uniform version of itself
Let K be an algebraic extension of the rationals and A be the ring of algebraic integers of K. As to...
It should be one of the most interesting themes of algebraic number theory to make clear the mutual ...
AbstractThe main theorem of this paper, proved using Mahler's method, gives a necessary and sufficie...
We give an overview of universal quadratic forms and lattices, focusing onthe recent developments ov...
AbstractThe set S consisting of those positive integers n which are uniquely expressible in the form...
AbstractLet X be an n-element set and F ⊂ (kx) such that all the (2 |F|) sets F1 ⌣ F2, F1, F2 ∈ F ar...
AbstractThis paper studies divisibility properties of sequences defined inductively by a1 = 1, an+1 ...
AbstractA list of complex numbers is multiplicatively independent if no integral–exponent power prod...
We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical the...
AbstractLet σj(n)=∑d|ndj be the sum of divisors function, and let I be the identity function. When c...
We have provided a pure model-theoretic proof for the decidability of the additive structure of the ...
Let $\lambda_1, \ldots, \lambda_k$ and $\alpha_1, \ldots, \alpha_k$ be nonzero algebraic numbers for...
AbstractThe Exact Geometric Computing approach requires a zero test for numbers which are built up u...
AbstractLet f(z) = Σk = 0∞ zk!. Then in p-adic field we prove that for any algebraic numbers α1 ,…, ...
We prove that Schanuel's conjecture for the reals is equivalent to a uniform version of itself
Let K be an algebraic extension of the rationals and A be the ring of algebraic integers of K. As to...
It should be one of the most interesting themes of algebraic number theory to make clear the mutual ...
AbstractThe main theorem of this paper, proved using Mahler's method, gives a necessary and sufficie...
We give an overview of universal quadratic forms and lattices, focusing onthe recent developments ov...
AbstractThe set S consisting of those positive integers n which are uniquely expressible in the form...
AbstractLet X be an n-element set and F ⊂ (kx) such that all the (2 |F|) sets F1 ⌣ F2, F1, F2 ∈ F ar...
AbstractThis paper studies divisibility properties of sequences defined inductively by a1 = 1, an+1 ...
AbstractA list of complex numbers is multiplicatively independent if no integral–exponent power prod...
We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical the...
AbstractLet σj(n)=∑d|ndj be the sum of divisors function, and let I be the identity function. When c...
We have provided a pure model-theoretic proof for the decidability of the additive structure of the ...