Bounded forcing axioms and Baumgartner's conjecture

David Aspero, Sy-David Friedman, Miguel Angel Mota +1

We study the spectrum of forcing notions between the iterations of $\sigma$-closed followed by ccc forcings and the proper forcings. This includes the hierarchy of $\alpha$-proper forcings f…