A nonconservativity result on global choice (Q759750)

M. Kaufmann introduced the set theory ZF(aa), an extension of ZF obtained by adding axioms involving the quantifier ''for almost all ordinals'', and proved that in the theory \(ZF(aa)+DET\), the axiom of global choice (in the form \(\exists x(V=OD(x))\) implies the existence of n-ineffable cardinals for each \(n<\omega\). The authors prove that (in contrast to the situation of ordinary ZF) the local axiom of choice does not even imply the existence of a Mahlo cardinal in \(ZF(aa)+DET\) (provided the theory is consistent).