axiom of choice - sjdfio

This quote was added by sjdfio
One does not need to invoke the axiom of choice to construct a choice function on a finite number of sets. This can be done using existential instantiation a finite number of times. Nor is the axiom necessarily needed to construct a choice function on an infinite collection of sets. For example, if the union of such a collection has a bijective correspondence with a well-ordered set. The axiom of choice is only needed when constructing a choice function would require infinitely many steps.

Train on this quote

Rate this quote:
3 out of 5 based on 1 ratings.

Edit Text

Edit author and title

(Changes are manually reviewed)

or just leave a comment:

sjdfio 3 days, 9 hours ago
Sorry about the typos! This is the first quote I submitted here, and was a stream of consciousness I typed out quickly. I didn't realize it would be difficult to remove/edit once I hit submit.

Test your skills, take the Typing Test.

Score (WPM) distribution for this quote. More.

Best scores for this typing test

Name WPM Accuracy

Recently for

Name WPM Accuracy