Uniform bounds on growth in o-minimal structures
Logic
2011-04-22 v4
Abstract
We prove that a function definable with parameters in an o-minimal structure is bounded away from infinity as its argument goes to infinity by a function definable without parameters, and that this new function can be chosen independently of the parameters in the original function. This generalizes a result in a paper of Friedman and Miller. Moreover, this remains true if the argument is taken to approach any element of the structure (or plus/minus infinity), and the function has limit any element of the structure (or plus/minus infinity).
Cite
@article{arxiv.math/0703776,
title = {Uniform bounds on growth in o-minimal structures},
author = {Janak Ramakrishnan},
journal= {arXiv preprint arXiv:math/0703776},
year = {2011}
}
Comments
3 pages. To appear in Mathematical Logic Quarterly