On the finiteness of ample models

In this paper, we generalize the finiteness of models theorem in [BCHM06] to Kawamata log terminal pairs with fixed Kodaira dimension. As a consequence, we prove that a Kawamata log terminal pair with $\mathbb{R}-$boundary has a canonical model, and can be approximated by log pairs with $\mathbb{Q}-$boundary and the same canonical model.