scholarly journals Liouville numbers and Schanuel’s Conjecture

2014 ◽  
Vol 102 (1) ◽  
pp. 59-70 ◽  
Author(s):  
K. Senthil Kumar ◽  
R. Thangadurai ◽  
M. Waldschmidt
Keyword(s):  
Liouville Numbers ◽  
Schanuel's Conjecture

ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS

2013 ◽  
Vol 12 (08) ◽  
pp. 1350055
Author(s):  
SONIA L'INNOCENTE ◽  
FRANÇOISE POINT ◽  
CARLO TOFFALORI
Keyword(s):  
Lie Groups ◽  
Lie Group ◽  
Model Theory ◽  
Effective Model ◽  
Logarithmic Function ◽  
Compact Lie Groups ◽  
Model Completeness ◽  
Schanuel's Conjecture ◽  
Logarithm Function ◽  
Natural Expansion

Given a compact linear Lie group G, we form a natural expansion of the theory of the reals where G and the graph of a logarithm function on G live. We prove its effective model-completeness and decidability modulo a suitable variant of Schanuel's Conjecture.

scholarly journals Distribution of rational points on the real line

1973 ◽  
Vol 15 (2) ◽  
pp. 243-256 ◽  
Author(s):  
T. K. Sheng
Keyword(s):  
Algebraic Number ◽  
Rational Number ◽  
Real Line ◽  
Rational Points ◽  
The Other ◽  
Liouville Numbers ◽  
The Real ◽  
Other Hand ◽  
Image Position

It is well known that no rational number is approximable to order higher than 1. Roth [3] showed that an algebraic number is not approximable to order greater than 2. On the other hand it is easy to construct numbers, the Liouville numbers, which are approximable to any order (see [2], p. 162). We are led to the question, “Let Nn(α, β) denote the number of distinct rational points with denominators ≦ n contained in an interval (α, β). What is the behaviour of Nn(α, + 1/n) as α varies on the real line?” We shall prove that and that there are “compressions” and “rarefactions” of rational points on the real line.

On the exact Hausdorff dimension of the set of Liouville numbers. II

2005 ◽  
Vol 119 (2) ◽  
pp. 217-224 ◽  
Author(s):  
L. Olsen ◽  
Dave L. Renfro
Keyword(s):  
Hausdorff Dimension ◽  
Liouville Numbers
Sign in / Sign up

Export Citation Format

Share Document