We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
317 \(\Rightarrow\) 14 |
Limitations on the Fraenkel-Mostowski method of independence proofs, Howard, P. 1973, J. Symbolic Logic |
14 \(\Rightarrow\) 311 | The Banach-Tarski Paradox, Wagon, [1985] |
311 \(\Rightarrow\) 313 | clear |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
317: | Weak Sikorski Theorem: If \(B\) is a complete, well orderable Boolean algebra and \(f\) is a homomorphism of the Boolean algebra \(A'\) into \(B\) where \(A'\) is a subalgebra of the Boolean algebra \(A\), then \(f\) can be extended to a homomorphism of \(A\) into \(B\). |
14: | BPI: Every Boolean algebra has a prime ideal. |
311: | Abelian groups are amenable. (\(G\) is amenable if there is a finitely additive measure \(\mu\) on \(\cal P(G)\) such that \(\mu(G)=1\) and \(\forall A\subseteq G, \forall g\in G\), \(\mu(gA)=\mu(A)\).) |
313: | \(\Bbb Z\) (the set of integers under addition) is amenable. (\(G\) is {\it amenable} if there is a finitely additive measure \(\mu\) on \(\cal P(G)\) such that \(\mu(G) = 1\) and \(\forall A\subseteq G, \forall g\in G\), \(\mu(gA)=\mu(A)\).) |
Comment: