MMP for co-rank one foliations on threefolds

We prove existence of flips, special termination, the base point free theorem and, in the case of log general type, the existence of minimal models for F-dlt foliated pairs of co-rank one on a $\mathbb Q$-factorial projective threefold. As applications, we show the existence of F-dlt modifications and F-terminalisations for foliated pairs and we show that foliations with canonical or F-dlt singularities admit non-dicritical singularities. Finally, we show abundance in the case of numerically trivial foliated pairs.