Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras

Mathematical Logic Quarterly 41 (4):455-475 (1995)
  Copy   BIBTEX


In this paper the descriptions of the relation semi-algebra generated by an equivalence element and the relation algebra generated by an equivalence element are unified by functorial constructions. Here the developed techniques and ideas lead to a more manageable conceptual construction of universal objects for the functors of squares and special congruences



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

12 (#1,058,801)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references