Prefer a chat interface with context about you and your work?
The bounded proper forcing axiom and well orderings of the reals
We show that the bounded proper forcing axiom BPFA implies that there is a well-ordering of P(ω 1 ) which is Δ 1 definable with parameter a subset of ω 1 .Our proof shows that if BPFA holds then any inner model of the universe of sets that correctly computes …