Form equivalence class Howard-Rubin Number: 43
Statement: \(RM1,\aleph_{0}\): The representation theorem formulti-algebras with \(\aleph_{0}\) unary operations: Assume \((A,F)\) is amulti-algebra with \(\aleph_{0}\) unary operations (and no other operations),then there is an algebra \((B,G)\) with \(\aleph_{0}\) unary operations andan equivalence relation \(E\) on \(B\) such that \((B/E,G/E)\) and \((A,F)\) areisomorphic multi-algebras. Note 50 and H\"oft/Howard [1981].
Howard-Rubin number: 43 N
Citations (articles):
Connections (notes):
References (books):
Back