A nonconservativity result on global choice (Q759750)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A nonconservativity result on global choice |
scientific article |
Statements
A nonconservativity result on global choice (English)
0 references
1984
0 references
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).
0 references
local axiom of choice
0 references
Mahlo cardinal
0 references