English

$R$-analytic functions

Logic 2016-04-05 v2

Abstract

We introduce the notion of RR-analytic functions. These are definable in an o-minimal expansion of a real closed field RR and are locally the restriction of a KK-differentiable function (defined by Peterzil and Starchenko) where K=R[1]K=R[\sqrt{-1}] is the algebraic closure of RR. The class of these functions in this general setting exhibits the nice properties of real analytic functions. We also define strongly RR-analytic functions. These are globally the restriction of a KK-differentiable function. We show that in arbitrary models of important o-minimal theories strongly RR-analytic functions abound and that the concept of analytic cell decomposition can be transferred to non-standard models.

Keywords

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

R2 v1 2026-06-22T08:35:29.003Z