Choice function without AC in special case
131592
Finite choice without AC
66544
Piecewise Function, Explanation of Extra Case
37051
Choosing numbers without consecutive numbers.
20658
Difficulty in finding a counterexample
118245
Using bools in calculations to avoid branches
30026
Random weighted choice
2889
Replacements for switch statement in Python?
100134
Proving existence of a surjection $2^{\aleph_0} \to \aleph_1$ without AC
75610
How to select a value from a list with non-uniform probabilities?
20252
The Axiom of Choice and the Cartesian Product.
88061
Choosing a function randomly
73076
Equivalent statement of AC or not?
100421
How to write this boolean expression using only NOR gates?
56122
Is there any way to define pure functions with optional arguments?
123132
Counterexample for a non-measurable function?
137815
Additive but not $\sigma$-additive function
59039
The discrimination between short and long option is only `-`?