Global choice is not conservative over local choice for Zermelo set theory
Abstract
We prove that Global Choice is not conservative over ZC and that ZF - Union does not prove existence of x y for all x and y. Each proof is by constructing a pathological model inside a symmetric extension of L.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.