Positive algebras with Noetherian congruence lattices
From MaRDI portal
(Redirected from Positive algebras with Noetherian congruence lattices)
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.
Recommendations
- Positive algebras with countable congruence lattices
- Positive algebras with congruences of finite index
- scientific article; zbMATH DE number 4217488
- Lattices over Noetherian algebras
- Congruence lattices of \(p\)-algebras
- Congruence lattices of finite algebras
- Lattices over Noetherian algebras
- Congruence lattices of finite p-algebras
- scientific article; zbMATH DE number 611228
- Noetherian and Artinian lattices
Cites work
Cited in
(13)- Structures of degrees of negative representations of linear orders
- Computably separable models
- Properties not retained by pointed enrichments of finite lattices
- Positive algebras with countable congruence lattices
- Uniformly computably separable algebras with effectively splittable families of negative congruences
- scientific article; zbMATH DE number 4217488 (Why is no real title available?)
- Nonconstructive negative algebras with finiteness conditions
- Lattice-ordered matrix algebras containing positive cycles.
- scientific article; zbMATH DE number 4079406 (Why is no real title available?)
- Lower semilattices of separable congruences of numbered algebras
- Separable algorithmic representations of classical systems and their applications
- Finite logical specifications of effectively separable data models
- Unoids with finiteness conditions over computably separable equivalences
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)