Form equivalence class Howard-Rubin Number: 67
Statement: For any algebra {\bf A} with finitary operations(that is, {\bf A} is of type \(\tau\) where \(\tau = (K_i)_{i\in I}\) with\(K_i\) finite for each \(i\in I\)) and for any generating subset \(Z\) of{\bf A}, there is a function \(h: A\to \cal P_\omega(Z)\) (\(A\) is thedomain of {\bf A} and \(\cal P_\omega(Z)\) is the set of all finitesubsets of \(Z\).) such that \(\forall a\in A\), \(a\) is in thesubalgebra of {\bf A} generated by \(h(a)\). Diener [1989] andNote 115.
Howard-Rubin number: 67 E
Citations (articles):
Connections (notes):
References (books):
Back