Unstable structures definable in o-minimal theories

被引:2
作者
Hasson, Assaf [2 ]
Onshuus, Alf [1 ]
机构
[1] Univ Los Andes, Dept Matemat, Bogota, Colombia
[2] Univ Oxford, Math Inst, Oxford OX1 3LB, England
来源
SELECTA MATHEMATICA-NEW SERIES | 2010年 / 16卷 / 01期
基金
英国工程与自然科学研究理事会;
关键词
CONJECTURE; FIELDS;
D O I
10.1007/s00029-010-0018-y
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Let M be a dense o-minimal structure, N an unstable structure interpretable inM. Then there exists X, definable in N(eq), such that X, with the induced N-structure, is linearly ordered and o-minimal with respect to that ordering. As a consequence we obtain a classification, along the lines of Zilber's trichotomy, of unstable p-minimal types in structures interpretable in o-minimal theories.
引用
收藏
页码:121 / 143
页数:23
相关论文
共 20 条
[1]  
Dries L., 1998, LONDON MATH SOC LECT, V248
[2]  
HASSON A, J SYMB LOGI IN PRESS
[3]  
HASSON A, ISRAEL J MA IN PRESS
[4]   Strongly minimal expansions of (C,+) definable in o-minimal fields [J].
Hasson, Assaf ;
Kowalski, Piotr .
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2008, 97 :117-154
[5]   Embedded o-minimal structures [J].
Hasson, Assaf ;
Onshuus, Alf .
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2010, 42 :64-74
[6]   The Mordell-Lang conjecture for function fields [J].
Hrushovski, E .
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY, 1996, 9 (03) :667-690
[7]   The Manin-Mumford conjecture and the model theory of difference fields [J].
Hrushovski, E .
ANNALS OF PURE AND APPLIED LOGIC, 2001, 112 (01) :43-115
[8]   An open mapping theorem for o-minimal structures [J].
Johns, J .
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) :1817-1820
[9]   INTRODUCTION TO FORKING [J].
LASCAR, D ;
POIZAT, B .
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) :330-350
[10]   Properties and consequences of thorn-independence [J].
Onshuus, A .
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) :1-21