Form equivalence class Howard-Rubin Number: 1
Statement:
For every class \(K\) of similar algebras \(SP^{g} K\supseteq P^{g}S\ K\). (For any class \(K\) of similar algebras, \(S\ K\) is the class of all subalgebras of elements of \(K\) (not closed under isomorphism) and \(P^{g}K\) is the class of direct products of elements of \(K\) not closed under isomorphism).
Howard-Rubin number: 1 AD
Citations (articles):
Andreka/Nemeti [1980]
Does \(SP K \supseteq PS K\) imply the axiom of choice?
Connections (notes):
References (books):
Back