On difunctionality of class relations

For a given variety V of algebras, we define a class relation to be a binary relation R ⊆ S^2 which is of the form R = S^2 ∩ K for some congruence class K on A^2, where A is an algebra in V such that S ⊆ A. In this paper we study the following property of V: every reflexive class relation is an equi...

Full description

Bibliographic Details
Main Author: Hoefnagel, Michael (author)
Other Authors: Janelidze, Zurab (author), Rodelo, Diana (author)
Format: article
Language:eng
Published: 2020
Subjects:
Online Access:http://hdl.handle.net/10316/89450
Country:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/89450