3 research outputs found
Global choice is not conservative over local choice for Zermelo set theory
We prove that Global Choice is not conservative over ZC and that ZF Union
does not prove existence of for all and . Each proof is by
constructing a pathological model inside a symmetric extension of Comment: 11 page