Search results
Thomas Jech is a set theorist and logician, who among many other things wrote a classic book on the Axiom of Choice (AC). I strongly recommend this book for its wonderfully lucid explanation of many aspects of AC—including the results by Kurt Gödel and Paul Cohen on the independence of AC from ZF set theory.
Axiom of Choice). (i) (Axiom of Choice) If (Xi)i!I is a family of nonempty sets, then "I Xi is also nonempty. (ii) (Zorn’s Lemma) If P is a nonempty partially ordered set with the property that every chain in P is bounded, then P has a maximal element. (iii) (Well-Ordering Principle) Every set X can be well-ordered. (I.e., for every X there ...
May 11, 2024 · An important and fundamental axiom in set theory sometimes called Zermelo's axiom of choice. It was formulated by Zermelo in 1904 and states that, given any set of mutually disjoint nonempty sets, there exists at least one set that contains exactly one element in common with each of the nonempty sets. The axiom of choice is related to the first of Hilbert's problems. In Zermelo-Fraenkel set ...
Jan 24, 2021 · Note. An alternate version of the Axiom of Choice is given in Exercise 0.7.4: Let S be a set. A choice function for S is a function f from the set of all nonempty subsets of S to S such that f(A) ∈ A for all A 6= ∅, A ⊂ S. The Axiom of Choice is equivalent to the claim: Every set S has a choice function.
Jan 17, 2015 · In other words, the strategy provides an “ -glimpse” of the future at almost all later moments. This is explained in detail in this provocative paper by Hardin and Taylor. The phrase “spooky inference” is my own; I think it nicely encapsulates what I find disturbing about such consequences of the Axiom of Choice. 3.
Sep 30, 2015 · The axiom of choice is the statement ∀ x ( ∀ y ∈ x y ≠ ∅ → ∃ f ∀ y ∈ x f(y) ∈ y) expressing the fact that if x is a set of nonempty sets there is a set function f selecting ( choosing) an element from each y ∈ x. It is sometimes thought that the problem with AC is the fact it makes arbitrary choices and it is a pity that ...
Jan 8, 2008 · The principle of set theory known as the Axiom of Choice has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid’s axiom of parallels which was introduced more than two thousand years ago” (Fraenkel, Bar-Hillel & Levy 1973, §II.4).
