Congruences on Dynamic Algebras

Logic Journal of the IGPL 16 (1):15-31 (2008)
  Copy   BIBTEX

Abstract

The lattice Cong of all dynamic congruences on a given dynamic algebra is presented. Whenever is separable with zero we define dynamic ideal on , given rise to the lattice Ide. The notions of kernel of a dynamic congruence and the congruence generated by a dynamic ideal are introduced to describe a Galois connection between Cong and Ide. We study conditions under which a dynamic congruence is determined by its kernel

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,885

External links

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

Through your library

Analytics

Added to PP
2015-02-04

Downloads
11 (#1,488,982)

6 months
7 (#592,519)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references