The Axiom of Choice in the $κ$-Mantle

Andreas Lietz

Published 2024-03-14Version 1

Usuba has asked whether the $\kappa$-mantle, the intersection of all grounds that extend to $V$ via a forcing of size ${<}\kappa$, is always a model of ZFC. We give a negative answers by constructing counterexamples where $\kappa$ is a Mahlo cardinal, $\kappa=\omega_1$ and where $\kappa$ is the successor of a regular uncountable cardinal.