Timeline for Does Merkurjev's argument help Voevodsky's program?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 30, 2022 at 11:34 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
added 16 characters in body
|
| May 13, 2020 at 3:49 | comment | added | David Roberts♦ | I'm not interested in the merit or otherwise of Voevodsky's choice of approach to a univalent foundations proof of B–K, just whether this specific wrinkle has been smoothed. | |
| May 13, 2020 at 3:46 | history | asked | David Roberts♦ | CC BY-SA 4.0 |