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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.