Friday, March 21, 201410:00 amSet theory seminarGC6417

# A proof of the relative consistency of PFA

## Kaethe Minden

### 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.

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.