Timeline for Set-theoretic forcing over sites?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23, 2015 at 7:32 | comment | added | Mike Shulman | I am familiar with that paper, and it doesn't answer my question. But thanks! (I do know about the representation theorems for toposes, but I personally find the general notion of site to be very helpful conceptually, and I'm slightly surprised if there are no set theorists in the world who feel similarly.) | |
| Jan 22, 2015 at 9:06 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 894 characters in body
|
| Jan 22, 2015 at 8:47 | history | answered | Simon Henry | CC BY-SA 3.0 |