Spahn
axioms of choice

axiom of choice

axiom of countable choice

axiom of dependent choice

branched pruned tree (descriptive set theory)

Baire category theorem

axiom of multiple choice

References