Timeline for Do Grothendieck universes matter for an algebraic geometer?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 16, 2022 at 1:55 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Fixed broken link
|
| Nov 22, 2021 at 22:13 | comment | added | Timothy Chow | Also of interest is an August 29, 2002 sci.math.research post by Nath Rao in a thread entitled "Automatic Theorem Prover." | |
| Jun 14, 2021 at 18:35 | comment | added | Nath Rao | Let me try my personal MS OneDrive. Here is the link for that: 1drv.ms/b/s!AhhvKcpxJ3KxoRcSA1G1k-gmE3Yy?e=ki2hyf [Ohio State terminated its agreement with Box, which explains why the earlier link no longer works. I guess I should put it in arxiv, but I would need a sponsor in foundations.] | |
| Jun 12, 2021 at 5:25 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
added title for reference
|
| Jun 11, 2021 at 15:04 | comment | added | Timothy Chow | @DavidRoberts Rao's article is entitled On doing category theory within set theoretic foundations. I have temporarily put a copy on my personal website and have emailed Rao about a stable version, but have not yet heard back. | |
| Jan 28, 2021 at 5:55 | comment | added | David Roberts♦ | Now that Box link is broken! What is the name or other details of the document you linked? And, better, can a stable version be made available? | |
| May 19, 2019 at 5:48 | comment | added | Noah Schweber | +1, especially for emphasizing the role of Replacement! I think that's in general a much more interesting question - to what extent do we need transfinite recursion in various constructions - than apparent use of large cardinals. | |
| May 18, 2019 at 18:55 | review | First posts | |||
| May 18, 2019 at 19:14 | |||||
| May 18, 2019 at 18:51 | history | answered | Nath Rao | CC BY-SA 4.0 |