期刊
ANNALS OF PURE AND APPLIED LOGIC
卷 134, 期 1, 页码 43-51出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.apal.2004.06.010
关键词
definability; Schanuel's Conjecture; real exponential field; harmonic functions
We show that if beta is an element of R is not in the field generated by alpha(1),...,alpha(n), then no restriction of the function x(beta) to an interval is definable in (R, +, -, (.), 0, 1, <, x(alpha 1),..., x(alpha n)). We also prove that if the real and imaginary parts of a complex analytic function are definable in R-exp or in the expansion of (R) over bar (definitions in the text) by functions x(alpha), for irrational a, then they are already definable in (R) over bar. We conclude with some conjectures and open questions. (c) 2004 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据