The structure of completely meet irreducible congruences in strongly Fregean algebras
From MaRDI portal
Publication:6380433
DOI10.1007/S00012-022-00787-0arXiv2110.08040MaRDI QIDQ6380433FDOQ6380433
Publication date: 10 October 2021
Abstract: A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is congruence modular. To understand the structure of these algebras we study the prime intervals projectivity relation in the posets of their completely meet irreducible congruences and show that its cosets have natural structure of Boolean group. In particular, this approach allows us to represent congruences and elements of such algebras as the subsets of upward closed subsets of these posets with some special properties.
Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)
This page was built for publication: The structure of completely meet irreducible congruences in strongly Fregean algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6380433)
