Письма о бирациональном. VII Упорядоченный обрыв

Чтобы построить результирующую модель в логПММ, достаточно установить существование логперестроек и их обрыв для некоторых последовательностей. Доказано, что из логПММ в размерности $d-1$ и обрыва терминальных логперестроек размерности $d$ следуют существование результирующей модели любой логпары размерности $d$: строго логминимальной модели или строго логтерминального лограсслоения Мори – и существование логперестроек размерности $d+1$. Отсюда вытекают существование результирующей модели 4-мерных логпар, существование логперестроек размерности 5 и география логмоделей в размерности 4.