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) |
Duration: 01/01/2019 - 31/12/2025 | 1st Funding period Funded by: DFG - Cluster of Excellence Type of project: Subproject in DFG-joint project hosted at University of Münster |