Recently I found [this](http://rads.stackoverflow.com/amzn/click/3110197022) book by Woodin. In the introduction of it the author writes the following: 



> 
> The main result of this book is the identification of a canonical model in which
>  the *Continuum Hypothesis* $(\mathsf{CH})$ is false (1). This model is canonical in the sense that
>  Gödel’s constructible universe $L$ and its relativization to the reals, $L(\mathbb R)$, are canonical models though of course the assertion that $L(\mathbb R)$ is a canonical model is made in the context of large cardinals. Our claim is vague, nevertheless the model we identify can
>  be characterized by its absoluteness properties. This model can also be characterized
>  by certain homogeneity properties. From the point of view of forcing axioms it is
>  the ultimate model at least as far as the subsets of $\omega\_1$ are concerned. It is arguably a
>  *completion* of $P(\omega\_1)$, the powerset of $\omega\_1$.
> 
> 
> 


Also, in the same part of the book Woodin states the following theorem:



> 
> (2) Suppose that there exists a proper class of Woodin cardinals.
>  Then for each sentence $\phi$, either
>  $\mathsf{ZFC}+(\*)\vdash\_{\Omega} " H(\omega\_2)\vDash\phi",$ or $\mathsf{ZFC}+(\*)\vdash\_{\Omega} " H(\omega\_2)\vDash\neg\phi".$
> 
> 
> 


Here the symbol "$\vdash\_{\Omega}$" has to do with [$\Omega$-logic](http://en.wikipedia.org/wiki/%CE%A9-logic). $(\*)$ is the axiom: 



> 
> $\mathsf{AD}$ holds in $L(\mathbb R)$ and $L(P(\omega\_1))$ is a $\mathbb P\_{\max}$-generic extension of $L(\mathbb R)$.
> 
> 
> 


Now, my questions are


* Is there a "intuitive" explanation of the construction of what Woodin calls "canonical model of $\mathsf{\neg CH}$?, What does Woodin mean by "ultimate model at least as far as the subsets of $\omega\_1$"?.
* is there a "roadmap" to learn the construction of the canonical model for $\mathsf{\neg CH}$ and the proof and ideas behind theorem(1)?


Regarding the second question, my background in set theory is chapters $14-18$ of Jech's *Set Theory*; forcing, iterated forcing, some basic stuff about large cardinals, $0^\sharp$, Jensen's covering lemma, and some of $L[U]$. These results; namely (1) and (2), are, of course, in Woodin's book, however, the book is way too technical and doesn't tell what should be the background nor the "roadmap" towards these results. 


I guess Paul Larson's [*The Stationary Tower*](http://rads.stackoverflow.com/amzn/click/0821836048) along with Jech's book should give the necessary backround for the possible "roadmap". 


Thanks



Canonical model for $\neg\mathsf{CH}$ and $\Omega$-logic
The canonical model that Woodin refers to is the $\mathbb{P}\_{\mathrm{max}}$ extension of $L(\mathbb{R})$, assuming that $L(\mathbb{R})$ satisfies $\mathrm{AD}$ (although the context, the partial order and the model can all be varied to produce equally interesting models). It is the ultimate model for $\mathcal{P}(\omega\_{1})$ in the sense that (assuming for instance that there are proper class many Woodin cardinals) every $\Omega$-consistent sentence of the form 
$H(\aleph\_{2}) \models \phi$, where $\phi$ is $\Pi\_{2}$ and may use parameters for the nonstationary ideal on $\omega\_{1}$ and any fixed set of reals in $L(\mathbb{R})$, the $H(\aleph\_{2})$ of the $\mathbb{P}\_{\mathrm{max}}$ extension satisfies $\phi$ (the negation of $\mathrm{CH}$ is such a sentence). So (under the same large cardinal hypothesis) if it is possible to force $H(\aleph\_{2})$ to satisfy $\phi$, then the $H(\aleph\_{2})$ of the $\mathbb{P}\_{\mathrm{max}}$ extension satisfies $\phi$. If you think of $\Pi\_{2}$ sentences as asserting some sort of closure, then the $H(\aleph\_{2})$ of the $\mathbb{P}\_{\mathrm{max}}$ extension is complete (i.e., maximally closed) in this sense.


Conditions in $\mathbb{P}\_{\mathrm{max}}$ have the form $\langle (M,I), a \rangle$, where $M$ is a countable transitive model of (a suitable fragement of) ZFC, $I \in M$ is in ideal on $\omega\_{1}^{M}$ and $a$ is in $\mathcal{P}(\omega\_{1})^{M}$ ($M$, $I$ and $a$ have certain additional properties which I'm skipping to streamline things). Given conditions $p= \langle (M,I), a \rangle$ and $q = \langle (N,J), b \rangle$, $p$ is stronger than $q$ if there exists a certain type of (non-elementary) embedding from $N$ to $M$ with critical point $\omega\_{1}^{N}$ (I hope this isn't all too vague to be meaningful). The key property of the $\mathbb{P}\_{\mathrm{max}}$ extension of $L(\mathbb{R})$ (which satisfies $V = L(\mathcal{P}(\omega\_{1}))$) is that the $H(\aleph\_{2})$ of the extension is the direct limit of the structures $H(\aleph\_{2})$ of the conditions in the generic filter. In effect (modulo an iterability hypothesis), it is the direct limit of the structures $H(\aleph\_{2})$ of all countable transitive models of ZFC containing Woodin cardinals (and satisfying weaker hypotheses that take longer to state). 


My article in volume 3 of the Handbook of Set Theory was written to be a roadmap toward learning the proofs of these theorems. So that's what I'd recommend, but I'm not entirely impartial. 


