Set Theoretic Algebra

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Set Theoretic Algebra.

• Whitehead problem — The question whether every abelian group A with Ext-one of A and the integers equal to zero must be free, a statement independent of ZFC.