Tagclass forcing

This is one of two articles that came out of my dissertation (also titled 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...