Timeline for Shortest formal statement equivalent to the continuum hypothesis
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2022 at 11:27 | history | edited | Glorfindel | CC BY-SA 4.0 |
broken link fixed, cf. https://math.meta.stackexchange.com/a/34713/228959
|
| May 11, 2013 at 2:48 | vote | accept | Vladimir Reshetnikov | ||
| Dec 3, 2011 at 13:10 | comment | added | user11618 | Yes sure, you are right. Scott's also goes on in the second page explaining how to use less concepts (subsets of reals can be seen as f:R->{0,1}, etc). But it is true this is not a direct answer to Vladimir's question. | |
| Dec 3, 2011 at 11:14 | comment | added | Neil Strickland | Scott's sentence involves quantifiers $\forall X$ and $\forall f$. He explains in the preceding paragraph that $X$ is understood to be a subset of $\mathbb{R}$, and $f$ is understood to be a function $\mathbb{R}\to\mathbb{R}$. If these assumptions were made explicit then the sentence would become very much longer. | |
| Dec 3, 2011 at 9:36 | history | answered | user11618 | CC BY-SA 3.0 |