Implications

• Implications Home
• Code 1 Implications
• Code 2 Implications
• Code 3 Implications
• Code 4 Implications
• Code 5 Implications
• Code 6 Implications
• Complete List
• Search

We have the following indirect implication of form equivalence classes:

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

Implication	Reference
14 \(\Rightarrow\) 228	Variants of Rado's selection lemma and their applications, Rav, Y. 1977, Math. Nachr.

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

Howard-Rubin Number	Statement
14:	BPI: Every Boolean algebra has a prime ideal.
228:	Every torsion free Abelian group can be fully ordered.

Comment: