Rather classless models of set theory and second-order set theory
This was a talk at the CUNY Set Theory Seminar. Notes can be seen here.
A model M of ZFC is rather classless if every class of M all of whose bounded initial segments are in M is definable in M. In this talk, we will construct rather classless end extensions for every countable model of set theory. As an application of this construction, we will see that there are models of ZFC with precisely one extension to a model of GBC and that there are models of set theory which admit no extension to a model of GBC. If time permits, we will look at some related constructions with models of KM + the axiom schema of class choice.