116c- Lecture 19

As discussed during Lecture 13, for the theories one encounters when studying set theory, no absolute consistency results are possible, and we rather look for relative consistency statements.  For example, the theories A={sf ZFC}+“There is a weakly inaccessible cardinal” and B={sf ZFC}+“There is a strongly inaccessible cardinal” are equiconsistent. This means that a weak theory (much less than {sf PA} suffices) can prove {rm Con}(A)Leftrightarrow{rm Con}(B). Namely: A is a subtheory of B, so its inconsistency implies the inconsistency of B. Assume B is inconsistent and fix a proof phi_0,dots,phi_n of an inconsistency from B. Then a proof psi_0,dots,psi_m of an inconsistency from A can be found by showing that each phi_i^L is a theorem of A, and this argument can be carried out in a theory (such as {sf PA}) where the syntactic manipulations of formulas that this involves are possible.

It is a remarkable empirical fact that the combinatorial statements studied by set theorists can be measured against a linear scale of consistency, calibrated by the so called large cardinal axioms, of which strongly inaccessible cardinals are perhaps the first natural example. Hypotheses as unrelated as the saturation of the nonstationary ideal or determinacy have been shown equiconsistent with extensions of {sf ZFC} by large cardinals. One direction (that models with large cardinals generate models of the hypothesis under study) typically involves the method of forcing and won’t be discussed further here. The other direction, just as in the very simple example of weak vs strong inaccessibility, typically requires showing that certain transitive classes (like L) must have large cardinals of the desired sort. We will illustrate these ideas by obtaining large cardinals from determinacy in the last lecture of the course. 

We defined the axiom of determinacy {sf AD}. It contradicts choice but it relativizes to the model L({mathbb R}). This is actually the natural model to study {sf AD} and, in fact, from large cardinals one can prove that L({mathbb R})models{sf AD}.

We illustrated basic consequences of {sf AD} for the theory of the reals by showing that it implies that every set of reals has the perfect set property (and therefore a version of {sf CH} is true under {sf AD}). Similar arguments give that {sf AD} implies that all sets of reals have the Baire property and are Lebesgue measurable. In the last lecture of the course we will use the perfect set property of sets of reals to show that the consistency of {sf AD} implies the consistency of strongly inaccessible cardinals.        

Advertisements

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: