  We improve on the result of Hacon and Witaszek by showing that the MMP for
semi-stable fourfolds in mixed characteristic terminates in several new
situations. In particular, we show the validity of the MMP for strictly
semi-stable fourfolds over excellent Dedekind schemes globally when the residue
fields are perfect and have characteristics $p>5$.
