On the existence of flips for threefolds in mixed characteristic $(0,5)$

Abstract

We provide a detailed proof of the validity of the Minimal Model Program for threefolds over excellent Dedekind separated schemes whose residue fields do not have characteristic 2 or 3.