Set theory seminar -Forcing axioms and inner models II

In this second talk I proved the equivalence of Bagaria’s, and Goldstern-Shelah’s formulation of the bounded forcing axiom for a poset {\mathbb P} that preserves \omega_1.

We presented several characterizations of club subsets of {\mathcal P}_{\omega_1}(X) for X uncountable. We then defined when a forcing notion is proper and provided some basic examples of proper forcings, namely ccc, \sigma-closed forcings, and their products.

This entry was posted on Sunday, September 21st, 2008 at 12:55 am and is filed under Set theory seminar. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

4 Responses to Set theory seminar -Forcing axioms and inner models II

  1. Set theory seminar -Forcing axioms and inner models « Teaching page says:
    October 25, 2008 at 2:18 pm

    […] Go to next talk. […]

    Reply
  2. Set theory seminar -Forcing axioms and inner models III « Teaching page says:
    October 25, 2008 at 2:45 pm

    […] Go to previous talk. […]

    Reply
  3. Set theory seminar -Forcing axioms and inner models -Intermezzo « Teaching page says:
    October 25, 2008 at 3:13 pm

    […] Second talk, September 19, 2008. […]

    Reply
  4. Set theory seminar -Forcing axioms and inner models | A kind of library says:
    February 1, 2019 at 4:25 pm

    […] Go to next talk. […]

    Reply

Leave a comment