Form equivalence class Howard-Rubin Number: 43
Statement: (Depends on \(n\in \omega\), \(n\ge 1\)) \(RM1,n\): Therepresentation theorem for multi-algebras with \(n\) unary operations:Assume \((A,F)\) is a multi-algebra with \(n\) unary operations (and noother operations), then there is an algebra \((B,G)\) with \(n\) unaryoperations and an equivalence relation \(E\) on \(B\) such that \((B/E,G/E)\)and \((A,F)\) are isomorphic multi-algebras. H\"oft/Howard [1981] and Note 50.
Howard-Rubin number: 43 O
Citations (articles):
Connections (notes):
References (books):
Back