Send the following on WhatsApp
Continue to ChatThe hierarchy of second-order set theories between GBC and KM and beyond https://jdh.hamkins.org/the-hierarchy-of-second-order-set-theories-between-gbc-and-km-and-beyond-cirm-luminy-2017/
The hierarchy of second-order set theories between GBC and KM and beyond https://jdh.hamkins.org/the-hierarchy-of-second-order-set-theories-between-gbc-and-km-and-beyond-cirm-luminy-2017/