Skip to main content
1 of 3
Ali Enayat
  • 17.7k
  • 2
  • 63
  • 105

The known proofs of conservativity of ZF + GC (Global Choice) over ZF make significant use of replacement, and as far as I know the problem of conservativity of Z + GC over ZC is wide open.

Let me add that I have discussed the problem with a number of experts over the past two decades, and also posed it on FOM in 2006 in this posting.

Ali Enayat
  • 17.7k
  • 2
  • 63
  • 105