Stability, Finiteness and Dimension Four

We prove that for any $k\in \mathbb{R},$ $v>0,$ and $D>0$ there are only finitely many diffeomorphism types of closed Riemannian $4$-manifolds with sectional curvature $\geq k,$ volume $\geq v,$ and diameter $\leq D.$