The conjecture that unstable NIP theories interpret infinite linear orders
Unstable NIP conjecture. If TTT is an unstable NIP theory, then TTT interprets an infinite linear order.
MathDB