2009 seminar talk: Some remarks about PFA and BPFA
Talk held by Sy-David Friedman (KGRC) at the KGRC seminar on 2009-10-19.
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.