A nonconservativity result on global choice

DOI10.1016/0168-0072(84)90026-5MaRDI QIDQ759750zbMATH OpenOpenAlexFDO

Authors Matt Kaufmann, S. Shelah

Publication date 1984

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(84)90026-5

zbMATH Keywords

local axiom of choiceMahlo cardinal

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Consistency and independence results (03E35) Large cardinals (03E55)

Review text

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).

Recommendations

• Some new upper bounds in consistency strength for certain choiceless large cardinal patterns
• Sandwiching the consistency strength of two global choiceless cardinal patterns
• Making all cardinals almost Ramsey
• scientific article; zbMATH DE number 3861140
• scientific article; zbMATH DE number 3966063

Cites work

• Comparison of the axioms of local and universal choice
• scientific article; zbMATH DE number 3782994 (Why is no real title available?)
• scientific article; zbMATH DE number 3489124 (Why is no real title available?)
• Set theory with a filter quantifier
• Set theory. An introduction to independence proofs
• Stationary logic

Cited in

(2)

• On the relative strengths of consistency conditions on choice functions
• Set theory. Abstracts from the workshop held January 12--17, 2025

This page was built for publication: A nonconservativity result on global choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759750)