nLab propositional axiom of choice

Contents

Context

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axiom

Removing axioms

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 15:33:30. See the history of this page for a list of all contributions to it.