Timeline for large ccc forcing that preserves CH
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 23, 2013 at 1:20 | vote | accept | Monroe Eskew | ||
| Oct 6, 2012 at 20:10 | comment | added | Monroe Eskew | Joel, since we have the ccc here, $(\omega,\infty)$-distributivity is equivalent to $(\omega,\omega)$-distributivity. Easy to see using the definition in terms of common refinements of sets of antichains. | |
| Oct 6, 2012 at 2:25 | comment | added | François G. Dorais | This is great! It would be nice to have it fleshed out. (Here or elsewhere, but it would be nice if Michael made a comeback on MO...) | |
| Oct 5, 2012 at 21:56 | comment | added | Joel David Hamkins | Very nice idea. I guess you mean that it is $(\omega,2)$-distributive, rather than $(\omega,\infty)$-distributive, since not adding reals is only equivalent to $(\omega,2)$-distributivity, not $(\omega,\infty)$-distributivity. Is this enough for the Suslin algebra theorem you mention? | |
| Oct 5, 2012 at 19:40 | history | answered | Monroe Eskew | CC BY-SA 3.0 |