Timeline for Some constructive versions of the Continuum Hypothesis are false. Are any true, or open?
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 14, 2010 at 21:37 | answer | added | Andrej Bauer | timeline score: 6 | |
| Jun 14, 2010 at 1:46 | comment | added | Joel David Hamkins | I see, thanks for the explanation. I hadn't realized that this concept splits intuitionistically. | |
| Jun 13, 2010 at 23:15 | history | edited | Daniel Mehkeri |
add tags
|
|
| Jun 13, 2010 at 18:35 | comment | added | Daniel Mehkeri | (Didn't see Andrej's comment) I wouldn't expect it to be linearly ordered. It supports transfinite induction though. --Dan | |
| Jun 13, 2010 at 18:33 | comment | added | Daniel Mehkeri | I do. But it might also be something that splits into constructively inequivalent notions. --Dan | |
| Jun 13, 2010 at 18:14 | comment | added | Andrej Bauer | You have to be quite careful about intuitionistic notion of "ordinal". For example, how would you show that a hereditarily transitive countable set is linearly ordered by $\in$? | |
| Jun 13, 2010 at 17:40 | comment | added | Joel David Hamkins | I guess by "hereditarily transitive countable set" you just mean "countable ordinal"... | |
| Jun 13, 2010 at 16:46 | history | asked | Daniel Mehkeri | CC BY-SA 2.5 |