Timeline for Large cardinal consistency strength and size
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2020 at 18:24 | answer | added | Jason Zesheng Chen | timeline score: 6 | |
| Aug 29, 2017 at 10:18 | comment | added | Morteza Azad | Here is a related MathOverflow question comparing consistency and implication strength orders with each other. It could be of your interest as well. | |
| Aug 29, 2017 at 1:01 | answer | added | Dmytro Taranovsky | timeline score: 8 | |
| Sep 16, 2015 at 21:14 | vote | accept | Cosmonut | ||
| Sep 16, 2015 at 7:01 | comment | added | David Roberts♦ | Note that the structure that is embodied in a large cardinal definition may be quite delicate, and the consistency of that structure is the issue, not how big the underlying cardinal is. | |
| Sep 16, 2015 at 6:39 | comment | added | Asaf Karagila♦ | @Wojowu: You might have meant the result I cite in my answer. | |
| Sep 16, 2015 at 6:33 | answer | added | Asaf Karagila♦ | timeline score: 10 | |
| Sep 16, 2015 at 6:28 | comment | added | Mohammad Golshani | @Wojowu That's not true, as you wrote, if $\kappa$ is supercompact, then there are $\kappa$-many measurables below it. | |
| Sep 16, 2015 at 6:27 | answer | added | Mohammad Golshani | timeline score: 18 | |
| Sep 16, 2015 at 5:21 | comment | added | Wojowu | I recall some result that the least supercompact is smaller than the least measurable if both exist, despite consistency strength going other way around. | |
| Sep 16, 2015 at 4:39 | history | asked | Cosmonut | CC BY-SA 3.0 |