Timeline for Proving regularity properties from forcing axioms
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2015 at 10:33 | comment | added | Asaf Karagila♦ | So you're asking how to prove from $\sf PFA$ directly that every projective set is universally Baire? | |
| Feb 6, 2015 at 1:42 | comment | added | Trevor Wilson | Interesting question; I feel like the answer is more likely to be yes if the conclusion is replaced by "after collapsing $\omega_1$, all projective sets of reals are regular" (but I still don't know what a proof would look like.) One could also consider the weakening where "all projective sets of reals are regular" is replaced by "there is no projective well-ordering of the reals." | |
| Feb 5, 2015 at 1:30 | comment | added | Andrés E. Caicedo | Using large cardinals: You use failure of square principles to get (a sufficiently iterable) $M_\omega^\sharp$, that allows you to realize $L(\mathbb R)$ essentially as a Solovay model. (But I imagine this is not what you are asking.) | |
| Feb 4, 2015 at 22:47 | history | asked | Haim | CC BY-SA 3.0 |