Set theory seminar -Forcing axioms and inner models VII

October 24, 2008

I concluded my series of talks by showing the following theorem of Viale:

Theorem (Viale). Assume {sf CP}(kappa^+) and let Msubseteq V be an inner model where kappa is regular and such that (kappa^+)^M=kappa^+. Then {rm cf}(kappa)neomega.

This allows us to conclude, via the results shown last time, that if {sf PFA} holds in V and M computes cardinals correctly, then it also computes correctly ordinals of cofinality omega.

An elaboration of this argument is expected to show that, at least  if we strengthen the assumption of {sf PFA} to {sf MM}, then M computes correctly ordinals of cofinality omega_1

Under an additional assumption, Viale has shown this:  If {sf MM} holds in Vkappa is a strong limit cardinal, (kappa^+)^M=kappa^+, and in M we have that kappa is regular, then in V, the cofinality of kappa cannot be omega_1. The new assumption on kappa allows us to use a result of Dzamonja and Shelah, On squares, outside guessing of clubs and I_{<f} [lambda], Fund. Math. 148 (1995), 165-198, in place of the structure imposed by {sf CP}(kappa^+). It is still open if the corresponding covering statement {sf CP}(kappa^+,omega_1) follows from {sf MM}, which would eliminate the need for this the strong limit requirement.

  • Go to the intermezzo for a discussion of consistency strengths.
Advertisements

Set theory seminar -Forcing axioms and inner models VI

October 17, 2008

I presented a sketch of a nice proof due to Todorcevic that {sf PFA} implies the P-ideal dichotomy {sf PID}. I then introduced Viale’s covering property {sf CP} and showed that it follows from {sf PID}. Next time I will indicate how it can be used to provide a proof of part 1 of the following theorem:

Theorem (Viale). Assume Msubseteq V is an inner model.

  1. If {sf PFA} holds in V and M computes cardinals correctly, then it also computes correctly ordinals of cofinality omega.
  2. If {sf MM} holds in V, kappa is a strong limit cardinal, (kappa^+)^M=kappa^+, and in M we have that kappa is regular, then in V, the cofinality of kappa cannot be omega_1

It follows from this result and the last theorem from last time that if V is a model of {sf MM} and a forcing extension of an inner model M by a cardinal preserving forcing, then {sf ORD}^{omega_1}subset M.

In fact, the argument from last time shows that we can weaken the assumption that V is a forcing extension to the assumption that for all kappa there is a regular cardinal lambdagekappa such that  in M we have a partition S^lambda_omega=sqcup_{alpha<kappa}S_alpha where each S_alpha is stationary in V

It is possible that this assumption actually follows from {sf MM} in V. However, something is required for it: In Gitik, Neeman, Sinapova, A cardinal preserving extension making the set of points of countable V cofinality nonstationary, Archive for Mathematical Logic, vol. 46 (2007), 451-456, it is shown that (assuming large cardinals) one can find a (proper class) forcing extension of V that preserves cardinals, does not add reals, and (for some cardinal kappa) the set of points of countable V-cofinality in lambda is nonstationary for every regular lambdagekappa^+. Obviously, this situation is incompatible with {sf PFA} in V, by Viale’s result.


Set theory seminar -Forcing axioms and inner models III

October 1, 2008

(At Randall’s request, this entry will be more detailed than usual.)

Remark 1. omega_1 is club in {mathcal P}_{omega_1}(omega_1), so any Ssubseteqomega_1 is stationary as a subset of omega_1 iff it is stationary as a subset of {mathcal P}_{omega_1}(omega_1). It follows that proper forcing preserves stationary subsets of omega_1.

Remark 2. Proper forcing extensions satisfy the countable covering property with respect to V, namely, if {mathbb P} is proper, then any countable set of ordinals in V^{mathbb P} is contained in a countable set of ordinals in V. We won’t prove this for now, but the argument for Axiom A posets resembles the general case reasonably:

Given a name dot X for a countable set of ordinals in the extension, find an appropriate regular theta and consider a countable elementary Nprec H_theta containing dot X, {mathbb P}, and any other relevant parameters. One can then produce a sequence (p_n)_{ninomega} such that

  1.  Each p_i is in N.
  2. p_{i+1}le_i p_i.
  3. p_iin D_i, where (D_n)_{ninomega} enumerates the dense subsets of {mathbb P} in N.

Let ple_i p_i for all i. Then pVdash dot Xsubseteq N, so Ncap{sf ORD} is a countable set of ordinals in V containing X in V^{mathbb P}. A density argument completes the proof.
 
Woodin calls a poset {mathbb P} weakly proper if the countable covering property holds between V and V^{mathbb P}. Not every weakly proper forcing is proper, but the countable covering property is a very useful consequence of properness. On the other hand, standard examples of stationary set preserving posets that are not proper, like Prikry forcing (changing the cofinality of a measurable cardinal kappa to omega without adding bounded subsets of kappa) or Namba forcing (changing the cofinality of omega_2 to omega while preserving omega_1 are not weakly proper, and account for some of the usefulness of {sf MM} over {sf PFA}.
 
The following is obvious:
 
Fact. Assume {mathbb P} is weakly proper. Then either {mathbb P} adds no new omega-sequences of ordinals, or else it adds a real.
 
The relation between the reals and the omega-sequences of ordinals in the presence of strong forcing axioms like {sf PFA} is a common theme I am exploring through these talks. 
 

Read the rest of this entry »

Set theory seminar -Forcing axioms and inner models -Intermezzo

September 30, 2008
This posting complements a series of talks given at the Set Theory Seminar at BSU from September 12 to October 24, 2008. Here is a list of links to the talks in this series:
  • First talk, September 12, 2008.
  • Second talk, September 19, 2008.
  • Third talk, September 26, 2008.
  • Fourth talk, October 3, 2008.
  • Fifth talk, October 10, 2008.
  • Sixth talk, October 17, 2008.
  • Seventh talk, October 24, 2008.

[Version of October 31.]

I’ll use this post to provide some notes about consistency strength of the different natural hierarchies that forcing axioms and their bounded versions suggest. This entry will be updated with some frequency until I more or less feel I don’t have more to add. Feel free to email me additions, suggestions and corrections, or to post them in the comments. In fact, please do.

Read the rest of this entry »


Set theory seminar -Forcing axioms and inner models

September 12, 2008

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

Read the rest of this entry »