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