Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Dependent choice, for example. Or choice for well-ordered families, see Existence of model of ZF without AC, but with many choice function

Dependent choice, for example. Or choice for well-ordered families, see Existence of model of ZF without AC, but with many choice function

Source Link
Goldstern
  • 14.1k
  • 1
  • 47
  • 71

Dependent choice, for example. Or choice for well-ordered families, see Existence of model of ZF without AC, but with many choice function