Statement:
\(EP\ Ab\): For every Abelian group \(A\) there is a projective Abelian group \(G\) and a homomorphism from \(G\) onto \(A\).
Howard_Rubin_Number: 188
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Unknown
Article Citations:
Blass-1979: Injectivity, projectivity and the axiom of choice
Book references
Note connections:
Note 60
Definitions from category theory