Global determinism of *-bands
Milovan Vinčić · 2001
A class of algebras is said to be globally determined if any two members of that class having isomorphic power algebras are isomorphic. In 1984, Y. Kobayashi proved that semilattices are globally determined. By using his methods, we prove that the class of all ⁄ -bands has the same property 1 . Let hA;Fi be a universal algebra. Clearly, the operations from F can be extended to the collection of all nonempty subsets of A by defining