Mori fibre spaces for $3$-folds over imperfect fields

We prove that the LMMP works for projective threefolds over function fields of characteristic $p>5$ when the canonical divisor is not pseudo-effective.

In the process we show that ACC for log canonical thresholds holds in complete generality for threefolds in residue characteristic $p>5$.