Baumgartnerʼs conjecture and bounded forcing axioms

We also study the bounded forcing axioms for the hierarchy of α-proper forcings. Following ideas of Shelah we separate them for distinct countable indecomposable ordinals.