Full termination of MMP for klt pairs with big boundaries

Abstract

We prove the full termination of the minimal model program for klt pairs with big boundaries. We also prove the finiteness of marked Mori fiber spaces.

arXiv comment31 pages. v2: The introduction was substantially revised. Some lemmas were added to Subsection 2.2. Section 8 was slightly revised. Other minor updates