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 | Tagged , , | 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 | Tagged , , | 2 Comments

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 | Tagged , , , , , | 2 Comments