Axiom Of Choice

We have the following indirect implication of form equivalence classes:

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

Implication	Reference
189 \(\Rightarrow\) 189

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

Howard-Rubin Number	Statement
189:	\(EI\ Ab\): For every Abelian group \(A\) there is an injective Abelian group \(G\) and a one to one homomorphism from \(A\) into \(G\).
189:	\(EI\ Ab\): For every Abelian group \(A\) there is an injective Abelian group \(G\) and a one to one homomorphism from \(A\) into \(G\).

Comment:

Back