Timeline for Vopěnka's Principle for non-first-order logics
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Aug 8, 2013 at 23:09 | comment | added | Joel David Hamkins | I think the answer to that is that it depends on how one treats class-sized objects in the category theory. I believe that there are analogues of definable classes and GBC style classes in category theory, and many category-theoretic issues (e.g. Is there a logical engdofunctor of Set?), depend on those distinctions. | |
| Aug 8, 2013 at 22:35 | comment | added | David Roberts♦ | This raises the question as to which of these is equivalent to the category theoretic formulation in terms of large discrete categories... | |
| Aug 8, 2013 at 4:04 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |