Contents Online

# Mathematical Research Letters

## Volume 13 (2006)

### Number 3

### The bounded proper forcing axiom and well orderings of the reals

Pages: 393 – 408

DOI: http://dx.doi.org/10.4310/MRL.2006.v13.n3.a5

#### Authors

#### Abstract

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ärtig quantifier is not lightface projective.