DEFINING THE SET OF INTEGERS IN EXPANSIONS OF THE REAL FIELD BY A CLOSED DISCRETE SET

被引:23
作者
Hieronymi, Philipp [1 ]
机构
[1] McMaster Univ, Dept Math & Stat, Hamilton, ON L8S 4K1, Canada
关键词
D O I
10.1090/S0002-9939-10-10268-8
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Let D subset of R be closed and discrete and f : D-n -> R be such that f (D-n) is somewhere dense. We show that (R, +, ., f) defines Z. As an application, we get that for every alpha, beta is an element of R->0 with log(alpha) (beta) is not an element of Q, the real field expanded by the two cyclic multiplicative subgroups generated by alpha and beta defines Z.
引用
收藏
页码:2163 / 2168
页数:6
相关论文
共 12 条
[1]   The model theory of the field of reals with a subgroup of the unit circle [J].
Belegradek, Oleg ;
Zilber, Boris .
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2008, 78 :563-579
[2]   Expansions of o-minimal structures by sparse sets [J].
Friedman, H ;
Miller, C .
FUNDAMENTA MATHEMATICAE, 2001, 167 (01) :55-64
[3]  
GUNAYDIN A, 2009, ARXIV09060528
[4]  
Gunaydin A., 2008, THESIS U ILLINOIS UR
[5]   Avoiding the projective hierarchy in expansions of the real field by sequences [J].
Miller, C .
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2006, 134 (05) :1483-1493
[6]  
Miller C, 2005, LECT NOTES LOGIC, V20, P281
[7]  
Miller C, 1999, FUND MATH, V162, P193
[8]  
MILLER C, TRICHOTOMY EXPANSION
[9]  
Steinhaus H., 1920, Fund. Math, V1, P93, DOI DOI 10.4064/FM-1-1-93-104
[10]   DEFINING ADDITIVE SUBGROUPS OF THE REALS FROM CONVEX SUBSETS [J].
Tychonievich, Michael A. .
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2009, 137 (10) :3473-3476