It is consistent that PFA holds and some inner model with the correct ω2 does not contain all reals. This contrasts with results of Velickovic and Caicedo-Velickovic, which say that this cannot hold for SPFA nor for BPFA if one requires that the inner model also satisfy BPFA. I'll also discuss the compatibility of BPFA with projective wellorders.
Some remarks about PFA and BPFA
19.10.2009 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25