Simple types in discretely ordered structures

We introduce a notion of simplicity for types in discretely ordered first order structures. We prove that all the structure on the locus of a simple type is induced exclusively by the ordering relation. As an application we determine all possible expansions of (ω, <) satisfying CB(x = x) = 1.

[1]  Predrag Tanovic.  Minimal first-order structures , 2011, Ann. Pure Appl. Log..

[2]  Predrag Tanovic.  Types directed by constants , 2010, Ann. Pure Appl. Log..

[3]  C. Toffalori,et al.  A guide to classical and modern model theory , 2003 .

[4]  Anand Pillay,et al.  Discrete o-minimal structures , 1987, Ann. Pure Appl. Log..

[5]  Predrag Tanovic.  On constants and the strict order property , 2006, Arch. Math. Log..

[6]  A. Pillay,et al.  DEFINABLE SETS IN ORDERED STRUCTURES. I , 1986 .