-
Views
-
Cite
Cite
Sandra Marques Pinto, Teresa Oliveira-Martins, M. Céu Pinto, Congruences on Dynamic Algebras, Logic Journal of the IGPL, Volume 16, Issue 1, February 2008, Pages 15–31, https://doi.org/10.1093/jigpal/jzm014
- Share Icon Share
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.
© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected]
Issue Section:
Original Articles
You do not currently have access to this article.