Form equivalence class Howard-Rubin Number: 1
Statement:
Birkhoff Representation Theorem: Every algebra isisomorphic to a subdirect product of subdirectly irreducible algebras.
Howard-Rubin number: 1 AX
Citations (articles):
Birkhoff [1944]
Subdirect unions in universal algebra
Gratzer [1986]
Birkhoff's representation theorem is equivalent to the axiom of choice
Connections (notes):
References (books): Book: Universal Algebra [1979], Gratzer, [1979]
Back