2018/07/20 by Simon, Pierre
#03C68 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1807.07949
We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a longstanding open question.