Statement:
\(RM1,\aleph_{\alpha }\): The representation theorem for multi-algebras with \(\aleph_{\alpha }\) unary operations: Assume \((A,F)\) is a multi-algebra with \(\aleph_{\alpha }\) unary operations (and no other operations). Then there is an algebra \((B,G)\) with \(\aleph_{\alpha }\) unary operations and an equivalence relation \(E\) on \(B\) such that \((B/E,G/E)\) and \((A,F)\) are isomorphic multi-algebras.
Howard_Rubin_Number: 174-alpha
Parameter(s): This form depends on the following parameter(s): \(\alpha\),
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Howard-Hoft-1981: "Representing multi-algebras by algebras, the axiom of choice and the axiom of dependent choice"
Book references
Note connections:
Note 50
Definitions regarding algebras from Andreka/Nemeta [1981] and Howard/Höft [1981]