Schlutzenberg, Farmer
Forschungsartikel (Zeitschrift) | 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 | Juniorprofessur für Mathematische Logik (Prof. Schlutzenberg) |