Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

All of the models of CH which I know of also satisfy $\diamondsuit$. What is the easiest way to produce a model of CH wherein $\diamondsuit$ is false?

share|improve this question
    
what is $\diamondsuit$? –  probably Oct 23 '11 at 7:57
    
add comment

3 Answers

up vote 10 down vote accepted

"The easiest way" to produce a model of CH in which $\diamondsuit$ is false is to start with a model of GCH and then do a countable support iteration of length $\omega_2$ killing off a potential $\diamondsuit$ sequence at each stage.

The forcing for doing this is straightforward: supposing $\langle A_\alpha:\alpha<\omega_1\rangle$ is a sequence with $A_\alpha\subseteq \alpha$, we force the existence of an uncountable $X\subseteq\omega_1$ such that $X\cap\alpha\neq A_\alpha$ for all $\alpha$. This is done by viewing conditions as telling us initial segments of $X$.

Iterating the above forcing $\omega_2$ times while using bookkeeping to make sure we kill of any potential $\diamondsuit$ sequence actually works.

BUT

There's a whole lot of work involved in proving that the iteration doesn't add new reals. This is where one must wrestle with the Shelah machinery of $\mathbb{D}$-completeness and $<\omega_1$-properness

share|improve this answer
    
Thank you much! Great for thought. –  Matthew Gagliardi Oct 24 '11 at 4:25
add comment

The first one of these was probably Jensen's model for the consistency of Suslin's Hypothesis (SH) with the Continuum Hypothesis (CH). This is by no means an easy model, e.g. it involves an iteration of length $\omega_2$ which is neither finite support nor countable support. Devlin and Johnsbråten wrote a monograph about it in the 70's titled The Souslin Problem (LNM 405).

There are better ways to do this nowadays. For example, Shelah has developed a variety of new forcings to kill Suslin trees and not add reals. These can be used to force CH + SH using a regular countable support iteration. In fact, because of advances in technology for preserving 'no new reals' there are probably lots more models of CH + $\lnot\diamondsuit$ out there.

As for general principles, the P-ideal dichotomy is compatible with CH but incompatible with $\diamondsuit$. There are probably lots more, but I'd have to check.

On the other hand, it is well known that it is very easy to inadvertently force $\diamondsuit$. For example, Rosłanowski and Shelah have shown that any proper forcing of size at most $2^{\aleph_0}$ that collapses $\aleph_2$ must force $\diamondsuit$ (and hence must collapse $2^{\aleph_0}$ too). Therefore, the only reliable way to force CH + $\lnot\diamondsuit$ via a countable support iteration proper forcing is to start with a model of CH and not add new reals.

share|improve this answer
add comment

Todd Eisworth and Justin Moore gave a series of lectures on this precise topic and are preparing a monograph based on their lectures. Preliminary notes are available I believe.

share|improve this answer
    
I was going to post a link to the current version of the notes, but for some reason I don't have them up on my website. They are a fleshed out version of the notes David Milovich took at our lectures; I'll try to have a link up by tomorrow. –  Todd Eisworth Oct 23 '11 at 14:15
    
Todd, please do let me know when your notes are available. Would love to have a read! Thanks, –  Matthew Gagliardi Nov 17 '11 at 6:26
    
Hi Todd, was wondering if you might direct me to your lecture notes on this topic (if they're available). Thanks! –  Matthew Gagliardi Jun 15 '12 at 4:03
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.