Schlutzenberg, Farmer
Research article (journal) | Peer reviewedAssume ZFC. Let κ be a cardinal. A < κ-ground is a transitive proper class W modelling ZFC such that V is a generic extension of W via a forcing P in W of cardinality < κ. The κ-mantle is the intersection of all
Schlutzenberg, Farmer | Junior professorship for mathematical logic (Prof. Schlutzenberg) |