jdh.hamkins.org
The hierarchy of second-order set theories between GBC and KM and beyond
This was a talk at the upcoming International Workshop in Set Theory at the Centre International de Rencontres Mathématiques at the Luminy campus in Marseille, France, October 9-13, 2017. Abstract.…