Dp-Minimality: Basic Facts and Examples

We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. 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.

[1]  Saharon Shelah.  Dependent first order theories, continued , 2004 .

[2]  Deirdre Haskell,et al.  A Version of o-Minimality for the p-adics , 1997, J. Symb. Log..

[3]  Dugald Macpherson,et al.  Weakly o-minimal structures and real closed fields , 2000 .

[4]  Raf Cluckers,et al.  Analytic p-adic cell decomposition and integrals , 2002, math/0206161.

[5]  John Goodrick.  A monotonicity theorem for dp-minimal densely ordered groups , 2010, J. Symb. Log..

[6]  Alf Onshuus,et al.  Additivity of the dp-rank , 2011 .

[7]  Alf Onshuus,et al.  Orthogonality and domination in unstable theories , 2009 .

[8]  Alf Onshuus.  On dp-minimality, strong dependence and weight , 2011, J. Symb. Log..

[9]  Pierre Simon.  On dp-minimal ordered structures , 2011, J. Symb. Log..

[10]  Jan Denef,et al.  p-adic semi-algebraic sets and cell decomposition. , 1986 .

[11]  Hans Adler.  Theories controlled by formulas of Vapnik-Chervonenkis codimension 1 , 2008 .

[12]  Ya'acov Peterzil,et al.  Quasi-O-Minimal Structures , 2000, J. Symb. Log..

[13]  Dugald Macpherson,et al.  On Variants of o-Minimality , 1996, Ann. Pure Appl. Log..

[14]  Gregory L. Cherlin,et al.  Real closed rings II. model theory , 1983, Ann. Pure Appl. Log..

[15]  Anand Pillay,et al.  Generic Structures and Simple Theories , 1998, Ann. Pure Appl. Log..

[16]  Hans Adler,et al.  Introduction to theories without the independence property , 2008 .

[17]  Saharon Shelah,et al.  Strongly dependent theories , 2005, math/0504197.

[18]  Bruno Poizat,et al.  Paires de Structures O-Minimales , 1998, J. Symb. Log..