Set theory seminar -Forcing axioms and inner models

Today I started a series of talks on “Forcing axioms and inner models” in the Set Theory Seminar. The goal is to discuss a few results about strong forcing axioms and to see how these axioms impose a certain kind of `rigidity’ to the universe.

I motivated forcing axioms as trying to capture the intuition that the universe is `wide’ or `saturated’ in some sense, the next natural step after the formalization via large cardinal axioms of the intuition that the universe is `tall.’

The extensions of ${\sf ZFC}$ obtained via large cardinals and those obtained via forcing axioms share a few common features that seem to indicate their adoption is not arbitrary. They provide us with reflection principles (typically, at the level of the large cardinals themselves, or at small cardinals, respectively), with regularity properties (and determinacy) for many pointclasses of reals, and with generic absoluteness principles.

The specific format I’m concentrating on is of axioms of the form ${\sf FA}({\mathcal K})$ for a class ${\mathcal K}$ of posets, stating that any ${\mathbb P}\in{\mathcal K}$ admits filters meeting any given collection of $\omega_1$ many dense subsets of ${\mathbb P}$ . The proper forcing axiom ${\sf PFA}$ is of this kind, with ${\mathcal K}$ being the class of proper posets. The strongest axiom to fall under this setting is Martin’s maximum ${\sf MM}$ , that has as ${\mathcal K}$ the class of all posets preserving stationary subsets of $\omega_1$ .

Of particular interest is the `bounded’ version of these axioms, which, if posets in ${\mathcal K}$ preserve $\omega_1$ , was shown by Bagaria to correspond precisely to an absoluteness statement, namely that $H_{\omega_2}\prec_{\Sigma_1}V^{\mathbb P}$ for any ${\mathbb P}\in{\mathcal K}$ .

In the next meeting I will review the notion of properness, and discuss some consequences of ${\sf BPFA}$ .

I want now to briefly sketch the following result from the Martin’s Maximum paper (Foreman, Magidor, Shelah. Martin’s Maximum, saturated ideals, and non-regular ultrafilters. Part I, Annals of Mathematics, 127 (1988), 1-47):

Say that a forcing ${\mathbb P}$ preserves stationary subsets of $\omega_1$ (we will usually say that ${\mathbb P}$ is stationary set preserving) iff there is some $p\in{\mathbb P}$ such that $p\Vdash \check S\mbox{ is stationary}$ for any stationary set $S\subseteq\omega_1$ .

Theorem: Suppose that ${\mathbb P}$ does not preserve stationary subsets of $\omega_1.$ Then ${\sf FA}(\{{\mathbb P}\})$ fails.

Proof: Assume ${\mathbb P}$ does not preserve subsets of $\omega_1$ . Begin by fixing ${\mathbb P}$ -names $\dot S$ and $\dot C$ that are respectively interpreted in any ${\mathbb P}$ -generic extension as a ground model-stationary subset of $\omega_1$ , and as a club subset of $\omega_1$ disjoint from $S$ .

Let $D=\{p\in{\mathbb P}: \mbox{there is }S\in V\mbox{ such that }p\Vdash \dot S=S\}$ . If $G\subseteq{\mathbb P}$ is any filter and $p\in G\cap D$ , then $p\Vdash S\cap\dot C=\emptyset$ for some stationary set $S$ in the ground model. We now argue that if we could find such a $G$ meeting enough dense sets, then we could define (from $G$ ) a club subset $C$ (in the ground model) such that $C\cap S=\emptyset$ for some such $p$ and $S$ , which of course is a contradiction. We will ensure this by ensuring that if $\alpha\in C\cap S$ , then there is some $q\in G$ which we may assume is below $p$ , and such that $q\Vdash\alpha\in\dot C$ .

The set $C=C_G$ is easy to define: Simply take $C=\{\alpha\in\omega_1:\mbox{ there is }q\in G\mbox{ such that }q\Vdash\alpha\in\dot C\}$ . We now proceed to exhibit $\omega_1$ many dense subsets of ${\mathbb P}$ such that if $G$ were a filter meeting all of them (in addition to $D$ ), then $C$ indeed would be a club set. This proves that the forcing axiom for ${\mathbb P}$ fails, as we want.

We are required to ensure that $C$ is unbounded in $\omega_1$ , and that it is closed. For $\alpha<\omega_1$ let $D_\alpha=\{q:\mbox{ either }q\Vdash\alpha\in\dot C\mbox{ or }q\Vdash\alpha\notin\dot C,\mbox{ in which case}$ $\mbox{there are }\beta<\alpha<\gamma \mbox{ such that } q\Vdash(\beta,\alpha)\cap\dot C=\emptyset\mbox{ and }$ $q\Vdash\gamma\in\dot C\}$ . Any filter $G$ meeting all the sets $D_\alpha$ ensures that $C$ is unbounded.

But it also ensures that it is closed: Supposed otherwise. Then for some $0<\alpha\notin C$ we have that $\sup(C\cap\alpha)=\alpha$ . However, there is some $q\in D_\alpha\cap G$ such that $q\Vdash\alpha\notin \dot C$ and, for some $\beta<\alpha$ , $q\Vdash(\beta,\alpha)\cap\dot C=\emptyset$ . However, there must be unboundedly many $\delta\in(\beta,\alpha)\cap C$ and for any of them there is some $r\in D_\delta\cap G$ such that $r\Vdash \delta\in \dot C$ . It follows that $r$ and $q$ are incompatible, which contradicts that $G$ is a filter. This contradiction shows that $C$ is indeed closed, and completes the proof. $\mbox{QED}$

Go to next talk.
Go to the intermezzo for a discussion of consistency strengths.

This entry was posted on Friday, September 12th, 2008 at 10:44 pm and is filed under math.LO, 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

Set theory seminar -Forcing axioms and inner models II « Teaching page says:

October 25, 2008 at 2:37 pm

[…] Go to previous talk. […]

Reply
Set theory seminar -Forcing axioms and inner models -Intermezzo « Teaching page says:

October 25, 2008 at 3:12 pm

[…] First talk, September 12, 2008. […]

Reply
Set theory seminar -Forcing axioms and inner models II | A kind of library says:

February 26, 2019 at 12:55 pm

[…] Go to previous talk. […]

Reply
Set theory seminar -Forcing axioms and inner models -Intermezzo | A kind of library says:

February 26, 2019 at 1:46 pm

[…] First talk, September 12, 2008. […]

Reply

	ปั่นสล็อต on 414/514 The theorems of Rieman…
	Richard Kimberly Hec… on Woodin’s proof of the se…
	Is there a Borel-mea… on 414/514 Examples of Baire clas…
	Simple bijectiveness… on 580 -Some choiceless results…
	Schur’s theore… on 580 -III. Partition calcu…
	Uncountable linearly… on 403/503 – Homework …
	What is a non-constr… on On strong measure zero se…
	function from Nmathb… on Hindsight
	Cauchy Schwarz Inequ… on 275 -Positive polynomials
	What is a Cantor-sty… on 580 -Some choiceless results…
	Question about Gener… on 580 -Some choiceless results…
	Set has Measure Zero… on On strong measure zero se…
	Non-measurable subse… on 580 -Cardinal arithmetic …
	hmeng1 on 414/514 The theorems of Rieman…
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …

M	T	W	T	F	S	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30

A kind of library