𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Unstable structures definable in o-minimal theories

✍ Scribed by Assaf Hasson; Alf Onshuus

Publisher
SP Birkhäuser Verlag Basel
Year
2010
Tongue
English
Weight
284 KB
Volume
16
Category
Article
ISSN
1022-1824

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear Groups Definable in o-Minimal Str
Linear Groups Definable in o-Minimal Structures
✍ 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
Definable group extensions in semi-bounded o-minimal structures
✍ 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

On the Boolean algebras of definable set
On the Boolean algebras of definable sets in weakly o-minimal theories
✍ Stefano Leonesi; Carlo Toffalori 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB 👁 1 views

## Abstract We consider the sets definable in the countable models of a weakly o‐minimal theory __T__ of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic (hence __T__ is p‐__ω__‐categorical), in other words when each of these definable sets adm

Extending Partial Orders on o-Minimal St
Extending Partial Orders on o-Minimal Structures to Definable Total Orders
✍ 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.