Blog Archives

Topic Archive: rather classless models

Set theory seminarFriday, March 13, 201510:00 amGC 6417

Kameryn Williams

Rather classless models of set theory and second-order set theory

The CUNY Graduate Center

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.