A nonconservativity result on global choice
暂无分享，去创建一个
On considere la theorie ZF(aa). L'affirmation AC∧¬(∃μ) (μ est un cardinal de Mahlo) est relativement consistante avec ZF(aa)+DET
[1] Urlich Felgner,et al. Comparison of the axioms of local and universal choice , 1971 .
[2] James E. Baumgartner. Ineffability Properties of Cardinals II , 1977 .
[3] Matt Kaufmann. Set Theory With a Filter Quantifier , 1983, J. Symb. Log..
[4] Yuzuru Kakuda. Set Theory Based on the Language with the Additional Quantifier ""for almost all"" (I) , 1980 .