[FOM] Global Choice

Aatu Koskensilta Aatu.Koskensilta at uta.fi
Mon Apr 5 17:12:01 EDT 2010

Lainaus T.Forster at dpmms.cam.ac.uk:

> Is Goedel-Bernays + global choice a conservative extension of ZFC..?

Yes, by a rather nice and straightforward forcing argument.

Aatu Koskensilta (aatu.koskensilta at uta.fi)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus

More information about the FOM mailing list