$R$-analytic functions
Logic
2016-04-05 v2
Abstract
We introduce the notion of -analytic functions. These are definable in an o-minimal expansion of a real closed field and are locally the restriction of a -differentiable function (defined by Peterzil and Starchenko) where is the algebraic closure of . The class of these functions in this general setting exhibits the nice properties of real analytic functions. We also define strongly -analytic functions. These are globally the restriction of a -differentiable function. We show that in arbitrary models of important o-minimal theories strongly -analytic functions abound and that the concept of analytic cell decomposition can be transferred to non-standard models.
Cite
@article{arxiv.1502.06436,
title = {$R$-analytic functions},
author = {Tobias Kaiser},
journal= {arXiv preprint arXiv:1502.06436},
year = {2016}
}
Comments
Final version; to appear at Archive for Mathematical Logic