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.Comment: Several improvements made following the referee repor