Timeline for What's the difference between a universe level and a natural number?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 2, 2022 at 0:13 | comment | added | Ms. Molly Stewart-Gallus | I was under the impression you needed ordinals/limits for useful universes? | |
| Feb 21, 2022 at 5:44 | answer | added | Dan Doel | timeline score: 2 | |
| Feb 21, 2022 at 0:55 | vote | accept | ice1000♦ | ||
| Feb 20, 2022 at 22:24 | answer | added | James Wood | timeline score: 8 | |
| Feb 20, 2022 at 22:02 | answer | added | Pierre-Marie Pédrot | timeline score: 10 | |
| Feb 20, 2022 at 21:36 | comment | added | ice1000♦ | @Couchy reduce the level of something. Thought about this for a while and I feel like I was probably making no sense. Please don't take it seriously :-) | |
| Feb 20, 2022 at 21:22 | comment | added | Couchy | What do you mean by unlifting a level? | |
| Feb 20, 2022 at 21:15 | comment | added | ice1000♦ | @Couchy my conjecture is that if you can unlift the level of something (which is possible with naturals) you might be able to construct the Girard's paradox | |
| Feb 20, 2022 at 21:07 | comment | added | Couchy | I actually wonder why we can't index universes with natural numbers rather than having a different type for universe levels... | |
| Feb 20, 2022 at 19:27 | answer | added | ice1000♦ | timeline score: 5 | |
| Feb 20, 2022 at 19:25 | history | asked | ice1000♦ | CC BY-SA 4.0 |