Published May 2006
| Published
Journal Article
Open
The bounded proper forcing axiom and well orderings of the reals
- Creators
- Caicedo, Andrés Eduardo
- Veličkovic, Boban
Abstract
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 N_2 and also satisfies BPFA must contain all subsets of ω_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.
Additional Information
© 2006 International Press. Received by the editors July 28, 2005.Attached Files
Published - CAImrl06.pdf
Files
CAImrl06.pdf
Files
(263.4 kB)
Name | Size | Download all |
---|---|---|
md5:9d1e7ead2761e36b689c1b069335be1d
|
263.4 kB | Preview Download |
Additional details
- Eprint ID
- 22391
- Resolver ID
- CaltechAUTHORS:20110218-151531485
- Created
-
2011-02-18Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field