Axiom Of Choice

We have the following indirect implication of form equivalence classes:

1 \(\Rightarrow\) 316 given by the following sequence of implications, with a reference to its direct proof:

Implication	Reference
1 \(\Rightarrow\) 316

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number	Statement
1:	\(C(\infty,\infty)\): The Axiom of Choice: Every set of non-empty sets has a choice function.
316:	If a linearly ordered set \((A,\le)\) has the fixed point property then \((A,\le)\) is complete. (\((A,\le)\) has the fixed point property if every function \(f:A\to A\) satisfying \((x\le y \Rightarrow f(x)\le f(y))\) has a fixed point, and (\((A,\le)\) is complete if every subset of \(A\) has a least upper bound.)

Comment:

Back