Positive algebras with Noetherian congruence lattices

From MaRDI portal





We prove that there exist nonconstructivizable positively presented finitely generated algebras with noetherian lattices of congruences; an algorithmic criterion is exhibited which, if valid in an algebra with a noetherian congruence lattice, ensures that the algebra has a finitely generated positive enrichment.











This page was built for publication: Positive algebras with Noetherian congruence lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1204698)