Implications

We have the following indirect implication of form equivalence classes:

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

Implication Reference
316 \(\Rightarrow\) 0

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

Howard-Rubin Number Statement
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.)

0:  \(0 = 0\).

Comment:

Back