My name is Jonas Reitz, and I am a Professor in the Mathematics Department at City Tech. My research interests are in mathematical logic, especially set theory. I enjoy pondering questions like “do sets really exist?” and “what does it mean to be a real number?” and “if sets do exist, is there a universe of sets?” I have an unhealthy fascination with the method...
The Ground Axiom
Dissertation: The Ground Axiom
Unforcing and the Ground Axiom My interest in “unforcing,” somehow working backwards from a forcing extension to a ground model, started early in my set theory studies. When I went through the rite of passage of learning Paul Cohen’s forcing – an exercise in induction, with a lovely (and at the time, frustratingly opaque) back-and-forth between technical details and...
My Mathematical Geneology
Courtesy of the most excellent Mathematics Geneology Project. Me: Jonas Reitz My mathematical parent (graduate advisor): Joel David Hamkins My mathematical grandparent: William Woodin My mathematical great-grandparent: Robert Solovay My mathematical great-great-grandparent: Saunders Mac Lane My mathematical great-great-great-grandparent: Hermann Weyl My mathematical great-great-great-great...