๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

One-dimensional groups definable in o-minimal structures

โœ Scribed by Adam W. Strzebonski


Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
707 KB
Volume
96
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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.

Definable group extensions in semi-bound
โœ Mรกrio J. Edmundo; Pantelis E. Eleftheriou ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 109 KB

## 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

Extending Partial Orders on o-Minimal St
โœ Dugald Macpherson; Charles Steinhorn ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 533 KB

## Abstract It is shown that if (__M__, <, โƒ›) is an oโ€minimal structure such that (__M__, <) is a dense total order and โ‰พ is a parameterโ€definable partial order on __M__, then โ‰พ has an extension to a definable total order.