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.