Timeline for Ultrainfinitism, or a step beyond the transfinite
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2012 at 12:50 | comment | added | Blake | I'm not terribly familiar with all that has been done with large cardinals in logic, but I would guess the answer probably involves those set theories that deal with proper classes. The idea would be that V is just a class (not a set) and you can now start doing things with classes that you would with sets. You should run into exactly analogous hierarchies if you do, to the best of my knowledge. But informally speaking these 'classes' just behave like a further level of sets. However I might be missing some important details here. | |
| Jun 30, 2012 at 0:26 | history | answered | Noah Schweber | CC BY-SA 3.0 |