Timeline for A “paradox” about the inner model problem
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 1, 2021 at 19:37 | answer | added | Grigor | timeline score: 18 | |
| Nov 2, 2020 at 20:32 | history | edited | LSpice | CC BY-SA 4.0 |
Name of "this paper"
|
| Nov 2, 2020 at 20:28 | answer | added | Gabe Goldberg | timeline score: 13 | |
| Oct 28, 2020 at 8:13 | comment | added | Yair Hayut | There is something tricky about the example with a measurable. In order to get a weak extender model for measurability, you're iterating the measure itself, until it gets high enough. Only then, you start to iterate the sharp out of the ordinals. This might work up to a strong cardinal, but it is unclear to me how you're going to get higher, even to a measurable above a strong. | |
| Oct 27, 2020 at 21:24 | history | edited | Monroe Eskew | CC BY-SA 4.0 |
deleted 1 character in body
|
| Oct 25, 2020 at 16:17 | history | edited | Monroe Eskew | CC BY-SA 4.0 |
added 46 characters in body
|
| Oct 25, 2020 at 8:30 | history | edited | Monroe Eskew | CC BY-SA 4.0 |
deleted 8 characters in body
|
| Oct 25, 2020 at 8:24 | history | asked | Monroe Eskew | CC BY-SA 4.0 |