Mathematical Research Letters

Volume 13, Issue 3, May 2006 pp. 393-408.

The bounded proper forcing axiom and well orderings of the reals

Authors: Andrés Eduardo Caicedo (1), and Boban Velickovic (2)
Author institution: California Institute of Technology (1), and Université Denis-Diderot Paris 7 (2)

Summary: We show that the bounded proper forcing axiom $\BPFA$ implies that there is a well-ordering of ${\mathcal P}(\w_1)$ which is $\Delta_1$ definable with parameter a subset of $\omega_1$. Our proof shows that if $\BPFA$ holds then any inner model of the universe of sets that correctly computes $\al2$ and also satisfies $\BPFA$ must contain all subsets of $\w_1$. We show as applications how to build minimal models of $\BPFA$ and that $\BPFA$ implies that the decision problem for the H\"artig quantifier is not lightface projective.

Contents Full-Text PDF