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.

Advertisements

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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: