nLab
propositional axiom of choice

Contents

Contents

Idea

A version of the axiom of choice

References

  • Martin Hyland, p. 1 of: Variations on realizability: realizing the propositional axiom of choice, Mathematical Structures in Computer Science, Volume 12, Issue 3, June 2002, pp. 295 - 317 (doi:10.1017/S0960129502003651, pdf)

Created on December 10, 2020 at 10:33:30. See the history of this page for a list of all contributions to it.