Timeline for Is every element of $\omega_1$ the rank of some Borel set?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12, 2020 at 20:32 | comment | added | Asaf Karagila♦ | Is there a reason you link to Miller's personal page instead of providing a proper citation, by the way? | |
| Nov 12, 2020 at 14:53 | vote | accept | Hannes Jakob | ||
| Nov 12, 2020 at 14:48 | comment | added | Asaf Karagila♦ | @Will: And there you went through life thinking that ZF can really put an upper bound on stuff? Ha! :-) | |
| Nov 12, 2020 at 14:42 | comment | added | Will Brian | Also, from the last sentence of Miller's abstract: "We also show that assuming a large cardinal hypothesis there are models of ZF in which the Borel hierarchy is arbitrarily long." Amazing! I wasn't aware of this until today. | |
| Nov 12, 2020 at 14:35 | history | answered | Alessandro Codenotti | CC BY-SA 4.0 |