Uniqueness of BP<n> - Vigleik Angeltveit; John A. Lind (2015)