Timeline for What do models where the CH is false look like?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 15 at 3:06 | history | suggested | Lucenaposition | CC BY-SA 4.0 |
added MathJax
|
| Jul 15 at 2:27 | review | Suggested edits | |||
| S Jul 15 at 3:06 | |||||
| Dec 8, 2013 at 18:52 | comment | added | David Fernandez-Breton | Well, but you're talking about consequences in Model Theory here, and I think Eric is sticking to the convention (customary among logicians) that "ordinary mathematics" means "all fields of mathematics except logic". | |
| Oct 16, 2009 at 20:23 | comment | added | John Goodrick | You're right that CH seems to have very little effect on, say, modern algebraic geometry. But CH (or rather the Generalized Continuum Hypothesis) does have some very nice consequences for the study of so-called Abstract Elementary Classes ("AECs"), where the goal is to generalize Morley's Theorem in first-order model theory to the setting of infinitary logics (more or less). Shelah and others have recently proved some interesting results on this topic. | |
| Oct 16, 2009 at 16:04 | vote | accept | Jason Dyer | ||
| Oct 16, 2009 at 16:02 | history | answered | Eric Wofsey | CC BY-SA 2.5 |