3 ms·
Why is the AC necessary for this recursive tree traversal?
by cuspycode 9y ago
Why is the AC necessary for this recursive tree traversal?
- xamuel 9y agoThe AC is necessary[1] because at each of the infinitely many steps, you have to choose which of possibly several candidates to use. [1] As mrmyers points out, you actually only need a weaker version of AC, called Countable Choice.