Congruence Preservation, Lattices and Recognizability (original) (raw)
Related papers
Definability of principal congruences in equivalential algebras
Colloquium Mathematicum
Arithmetical Congruence Preservation: From Finite to Infinite
Lecture Notes in Computer Science, 2015
The lattice of congruence lattices of algebras on a finite set
Algebra universalis
Advances in Mathematics, 2000
An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic
Journal of Symbolic Logic, 2002
Congruence preserving functions on free monoids
Algebra universalis
Congruence lattices of algebras of fixed similarity type. I
Pacific Journal of Mathematics, 1979
Weak distributive laws and their role in lattices of congruences and equational theories
Algebra Universalis, 1988
On recognizable languages in divisibility monoids
Lecture Notes in Computer Science, 1999
Studia Logica, 2018
On the Finitary Characterization of-Congruences
1997
Journal of the Australian Mathematical Society, 1975
Factorable Congruences and Strict Refinement
1996
Representable Biresiduated Lattices
Journal of Algebra, 2002
A characterization of identities implying congruence modularity. I
Canadian Journal of Mathematics, 1980
Fully invariant and verbal congruence relations
Algebra universalis, 2013
Axiomatizable and nonaxiomatizable congruence prevarieties
Algebra universalis, 2008
The Canonical FEP Construction for Residuated Lattice Ordered Algebras
2016
On congruence lattices of finite partial unary algebras
The congruence lattice of implication algebras
Relational representation theorems for some lattice-based structures
Ewa Orlowska, Dimiter Vakarelov
Journal of Relation …, 2004
Computational Recognition of Properties of Finite Algebras
2008
On the semidistributivity of elements in weak congruence lattices of algebras and groups
Algebra universalis, 2008
The factorization and representation of lattices
Transactions of the American Mathematical Society, 1975
Some nonstandard methods applied to distributive lattices
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1990
Congruence Boolean Lifting Property
Congruence lattices of connected monounary algebras
Algebra Universalis, 2020
Commutativity in the lattice of topologizing filters of a ring – localization and congruences
Acta Mathematica Hungarica, 2019
Residuation in modular lattices and posets
Asian-European Journal of Mathematics
1983
Representations of distributive lattice-ordered semigroups with binary relations
Algebra Universalis, 1991