# Monthly Archives: October 2013

## Forcing to add proper classes to a model of ${\rm GBC}$: The technicalities

In the previous post Forcing to add proper classes to a model of ${\rm GBC}$: An introduction, I made several sweeping assertions that will now be held up to public scrutiny.

Posted in research | | 5 Comments

## Forcing to add proper classes to a model of ${\rm GBC}$: An introduction

If you are interested in a mathematical universe whose ontology includes both sets and classes, you might consider for its foundation the ${\rm GBC}$ (Gödel-Bernays) axioms.

Posted in research | | 1 Comment

## Embeddings among $\omega_1$-like models of set theory

This is a talk at the CUNY Set Theory Seminar, October 4, 2013.

Posted in talks | | 2 Comments