Type decomposition in NIP theories

Abstract

We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and a distal-like quotient.

Several improvements made following the referee report