Linear Groups Definable in o-Minimal Str
β
Y. Peterzil; A. Pillay; S. Starchenko
π
Article
π
2002
π
Elsevier Science
π
English
β 156 KB
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.