A proof of the relative consistency of PFA
The CUNY Graduate Center
I will use a supercompact cardinal to force the Proper Forcing Axiom (PFA). I will follow Baumgartner’s original argumet, but will use lottery sums instead of a Laver function.
Kaethe Minden is currently a graduate student in the Ph.D. program in mathematics at the CUNY Graduate Center, studying set theory under the supervision of Gunter Fuchs.