Form equivalence class Howard-Rubin Number: 67
Statement: For any algebra {\bf A} with one unary operation \(f\)and any generating set \(Z\) of {\bf A}, there isa function \(h: A\to \cal P_\omega(Z)\) (\(A\) is the domain of {\bf A} and\(\cal P_\omega(Z)\) is the set of all finite subsets of \(Z\).) such that\(\forall a\in A\), \(a\) is in the subalgebra of {\bf A} generated by\(h(a)\). Diener [1989] and Note 115.
Howard-Rubin number: 67 F
Citations (articles):
Connections (notes):
References (books):
Back