Timeline for Does the class category of ZF-algebras satisfy the Multiverse axioms?
Current License: CC BY-SA 3.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 27, 2012 at 14:18 | vote | accept | CommunityBot | ||
Jan 23, 2012 at 17:00 | comment | added | Mike Shulman | I think the 2-category of toposes is a better candidate for the category of set theoretic universes. It probably doesn't satisfy all the multiverse axioms either, but at least it approximates some of them, e.g. closure under forcing. | |
Jan 23, 2012 at 14:35 | comment | added | user2529 | Thank you Mike. I think it's a really pity that there is still not a (suitable) category or moduli of set theoretic universes. Or more generaly, fix a first-order theory $T$. It would be great to have a category of moduli of models of $T$. | |
Jan 23, 2012 at 6:58 | history | answered | Mike Shulman | CC BY-SA 3.0 |