NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"class forcing"”.

  1. The Structure of Models of Second-order Set Theories

    Williams, Kameryn JThe Graduate School and University Center of The City University of New York2018

    … They showed that every model of KM plus the Class Collection schema “unrolls” to a model of ZFC<sup>−</sup> with a largest cardinal. I calculate the theories of the unrolling for a variety of second-order set theories, going as weak as GBC + ETR. I also show that being T-realizable goes down …

    cuny-grad Repository record