We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
1 \(\Rightarrow\) 314 |
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. |
314: | For every set \(X\) and every permutation \(\pi\) on \(X\) there are two reflections \(\rho\) and \(\sigma\) on \(X\) such that \(\pi =\rho\circ\sigma\) and for every \(Y\subseteq X\) if \(\pi[Y]=Y\) then \(\rho[Y]=Y\) and \(\sigma[Y]=Y\). (A reflection is a permutation \(\phi\) such that \(\phi^2\) is the identity.) \ac{Degen} \cite{1988}, \cite{2000}. |
Comment: