Dp-Minimality: Basic Facts and Examples

被引:37
作者
Dolich, Alfred [1 ]
Goodrick, John [2 ,3 ]
Lippel, David [4 ]
机构
[1] E Stroudsburg Univ, Dept Math, E Stroudsburg, PA 18301 USA
[2] Univ Los Andes, Dept Matemat, Bogota 111711, Colombia
[3] Univ Maryland, Dept Math, College Pk, MD 20742 USA
[4] Haverford Coll, Dept Math, Haverford, PA 19041 USA
关键词
independence property; dp-minimal; weakly o-minimal; p-adic field;
D O I
10.1215/00294527-1435456
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We study the notion of dp-minimality, beginning by providing several essential facts about dp-minimality, establishing several equivalent definitions for dp-minimality, and comparing dp-minimality to other minimality notions. The majority of the rest of the paper is dedicated to examples. We establish via a simple proof that any weakly o-minimal theory is dp-minimal and then give an example of a weakly o-minimal group not obtained by adding traces of externally definable sets. Next we give an example of a divisible ordered Abelian group which is dp-minimal and not weakly o-minimal. Finally we establish that the field of p-adic numbers is dp-minimal.
引用
收藏
页码:267 / 288
页数:22
相关论文
共 22 条
[1]  
Adler Hans, 2008, THEORIES CONTROLLED
[2]  
[Anonymous], ARCH MATH L IN PRESS
[3]  
Aschenbrenner M., VC DENSITY IN PRESS
[4]   Pairs of O-minimal structures [J].
Baisalov, Y ;
Poizat, B .
JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (02) :570-578
[5]   Quasi-o-minimal structures [J].
Belegradek, O ;
Peterzil, Y ;
Wagner, F .
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (03) :1115-1132
[6]   Generic structures and simple theories [J].
Chatzidakis, Z ;
Pillay, A .
ANNALS OF PURE AND APPLIED LOGIC, 1998, 95 (1-3) :71-92
[7]   REAL CLOSED RINGS .2. MODEL-THEORY [J].
CHERLIN, G ;
DICKMANN, MA .
ANNALS OF PURE AND APPLIED LOGIC, 1983, 25 (03) :213-231
[8]   Analytic p-adic cell decomposition and integrals [J].
Cluckers, R .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2004, 356 (04) :1489-1499
[9]  
DENEF J, 1986, J REINE ANGEW MATH, V369, P154
[10]  
Engler A.J., 2005, SPRINGER MG MATH