Timeline for Continuum Hypothesis
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2013 at 12:36 | comment | added | Emil Jeřábek | The general statement is that assuming CH, every countable theory with infinite models has a saturated model of cardinality $\aleph_1$. The converse holds for any theory with no $\omega$-stable completion (such as any theory involving a linear order). | |
| Jan 3, 2013 at 23:20 | comment | added | Andrés E. Caicedo | Hi Philip. Yes, these statements are discussed in a few places. Most recently, the book on "Super-real fields" by Dales and Woodin. Note that they discuss appropriate versions of (ii)-(v) that do not require CH, but then assume CH (and therefore obtain the equivalences above) to study the properties of the structures they investigate. | |
| Jan 3, 2013 at 22:13 | history | answered | Philip Ehrlich | CC BY-SA 3.0 |