We study subgroups G of GL n, R definable in o-minimal expansions M s Ž . Ž. R, q, и , . . . of a real closed field R. We prove several results such as: a G can be defined using just the field structure on R together with, if necessary, power Ž . functions, or an exponential function definable in M.
Definable group extensions in semi-bounded o-minimal structures
✍ Scribed by Mário J. Edmundo; Pantelis E. Eleftheriou
- Publisher
- John Wiley and Sons
- Year
- 2009
- Tongue
- English
- Weight
- 109 KB
- Volume
- 55
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
In this note we show: Let R = 〈R, <, +, 0, …〉 be a semi‐bounded (respectively, linear) o‐minimal expansion of an ordered group, and G a group definable in R of linear dimension m ([2]). Then G is a definable extension of a bounded (respectively, definably compact) definable group B by 〈R^m^, +〉 (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
## Abstract We prove that a function definable with parameters in an o‐minimal structure is bounded away from ∞ as its argument goes to ∞ 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