Implications

We have the following indirect implication of form equivalence classes:

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

Implication Reference
180 \(\Rightarrow\) 0

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

Howard-Rubin Number Statement
180:

Every Abelian group has a divisible hull.  (If \(A\) and \(B\)  are groups, \(B\) is a divisible hull of \(A\) means \(B\) is a divisible group, \(A\) is a subgroup of \(B\) and for every non-zero \(b \in  B\), \(\exists  n \in \omega \)  such that \(0\neq nb\in A\).)  Fuchs [1970], Theorem 24.4 p 107.

0:  \(0 = 0\).

Comment:

Back