Key points are not available for this paper at this time.
Usuba has asked whether the -mantle, the intersection of all grounds that extend to V via a forcing of size <, is always a model of ZFC. We give a negative answers by constructing counterexamples where is a Mahlo cardinal, =₁ and where is the successor of a regular uncountable cardinal.
Andreas Lietz (Wed,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: