- Problem List
-------------------------------------------------------------------------------
Domain ALG = General Algebra. 10 problems (8 abstract, 10 CNF, 0 FOF)
-------------------------------------------------------------------------------
ALG001 ( -3 +0) The composition of homomorphisms is a homomorphism
ALG002 ( -1 +0) In an ordered field, if X > 0 then X^-1 > 0
ALG003 ( -1 +0) Cancellative medial algebras
ALG004 ( -1 +0) Cancellative medial algebras satisfy the quotient condition.
...
- Axiom List
-------------------------------------------------------------------------------
Axioms 139 sets (67 abstract, 129 CNF, 10 FOF)
-------------------------------------------------------------------------------
ALG001 ( -2 +0) Abstract algebra axioms, based on Godel set theory
ANA001 ( -2 +0) Analysis (limits) axioms for continuous functions
ANA002 ( -2 +0) Analysis (limits) axioms for continuous functions
BOO001 ( -1 +0) Ternary Boolean algebra (equality) axioms
...
- Generator List
-------------------------------------------------------------------------------
Generators 87 generators (49 abstract, 86 CNF, 1 FOF)
-------------------------------------------------------------------------------
GRP123 ( -8 +0) (3,2,1) conjugate orthogonality
GRP123-1 Sizes: X,(X>=1) TPTP sizes: 3,5
GRP123-2 Sizes: X,(X>=1) TPTP sizes: 3,5
GRP123-3 Sizes: X,(X>=1) TPTP sizes: 3,4
...