Friday, March 21, 201410:00 amSet theory seminarGC6417

A proof of the relative consistency of PFA

Kaethe Minden

The CUNY Graduate Center

Kaethe Minden

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.

This talk will serve as the speaker's Second Examination for her degree requirements in the Mathematics Ph.D. program of the CUNY Graduate Center.

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.