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.