Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published May 2006 | Published
Journal Article Open

The bounded proper forcing axiom and well orderings of the reals

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

Created:
August 19, 2023
Modified:
October 23, 2023