The following pages link to A tale of two set theories (Q2287897):
Displaying 5 items.
- Grothendieck universes (Q2113837) (← links)
- Generating custom set theories with non-set structured objects (Q2128829) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- Non-trivial universes and sequences of universes (Q6489401) (← links)
- The ring of Conway numbers in Mizar (Q6557122) (← links)