This is the third post in my series on determinacy from Woodins. In the last post we showed Martin-Steel’s result that follows from the existence of infinitely many Woodins and a measurable above. We’ll now give the main ideas of Woodin’s incredible strengthening of this result, showing from the same assumption that holds.

# Determinacy from Woodins II

This is a continuation of my last post on determinacy, where we began the proof of projective determinacy. We’ve reduced the statement to showing that every projective set is homogeneously Suslin, which will be shown here, modulo a key lemma from [MS89].

# Determinacy from Woodins I

I’m amazed by the history of determinacy. As soon as classical descriptive set theorists found the impact the determinacy of games has on regularity properties of sets of reals, a sophisticated program began the goal of which was to characterise the strength of determinacy. The fact that -determinacy seemed like an unreachable statement at the time is incredible, until it culminated with Woodin’s 1979 result that follows from the incredibly strong hypothesis , after which he isolated the Woodin cardinal as a variant of a Shelah cardinal and proved the well-known equiconsistency result between and infinitely many Woodins. For a more detailed historical exposition I can highly recommend [Larson2010].

I’m dedicating a few blog posts to giving an idea of how some of these later results are proven. As some of the proofs are incredibly long and technical, my goal is to give the main ideas and strategies of the proofs, intended to the set theorist who might be interested in what key ideas the determinacy crowd are using. My plan is to accompany most proofs with pdf notes in which I’m writing out the proofs with all the technical details. A tentative plan is to cover:

- from infinitely many Woodins and a measurable above;
- from infinitely many Woodins and a measurable above;
- The equiconsistency of with infinitely many Woodins.

The first result is due to Martin-Steel and the last two are due to Woodin. We’ll start by focusing on the first result.

# An overview of determinacy axioms

I’ve recently started to read up on descriptive inner model theory, and quickly stumbled across a lot of new axioms. Prime among these were Sargsyan’s axiom. After skimming through Sargsyan’s survey paper [Sarg2013] I encountered several variants of these “-axioms” and also an axiom called (in the paper it’s actually called , but the terminology has changed since then). I decided to do some intense Googling and a little bit of thinking, and my current overview of these determinacy axioms and their relation to the large cardinal hierarchy looks like this: Continue reading

# Sigma^2_1 absoluteness

A sentence of type is a sentence of the form , where is some fixed real parameter and all the quantifiers occuring in are ranging over the reals or naturals. A particularly famous such sentence is the continuum hypothesis , which is known to be highly non-absolute: we can always both force and force its negation. But it turns out that actually turns out to *determine* the -truths in models, in that any two forcing extensions in which holds have the same -truths. This is a theorem due to Woodin and Steel independently. My full write-up can be found here, but in this post I’ll just focus on the statement and the key ideas used in the proof(s).

# The Stationary Tower II – the construction

In the last post we developed the machinery of generic ultrapowers, which enabled us to go from a uniform normal ideal in to getting an elementary embedding with lying in a generic extension of , *if* we assume that we have a Woodin cardinal. The model furthermore enjoyed the property of being closed under countable sequences in the forcing extension. We now introduce a generalisation of such an embedding, which grants more closure — this is precisely given by the *stationary tower*.

# The Stationary Tower I – generic ultrapowers

The stationary tower is a forcing notion developed by Woodin in the 80’s which, assuming there is a Woodin cardinal in , provides us with an elementary embedding satisfying that . Assuming a proper class of Woodins we can even make sure that ! Before we can reach the tower we have to pass the obstacles along the way, the main one being the notion of a *generic ultrapower*.