Profinite locally finite quasivarieties
From MaRDI portal
Publication:6597129
DOI10.1007/s11225-023-10077-yMaRDI QIDQ6597129
Anvar M. Nurakunov, M. V. Schwidefsky
Publication date: 3 September 2024
Published in: Studia Logica (Search for Journal in Brave)
inverse limitquasivarietylocally finitestandard quasivarietyprofinite structurequasi-equational basis
Representation theory of lattices (06B15) Coloring of graphs and hypergraphs (05C15) Subalgebras, congruence relations (08A30) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constraint satisfaction, irredundant axiomatisability and continuous colouring
- Structure of quasivariety lattices. IV: Nonstandard quasivarieties
- Quasiidentities of finite unary algebras
- The axiomatizability of topological prevarieties
- Finite lattices having no independent basis of quasiidentities
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities
- Bases of quasiidentities of finite distributive p-algebras
- On quasi-equational bases for differential groupoids and unary algebras
- Structure of quasivariety lattices. I: Independent axiomatizability
- Structure of quasivariety lattices. II: Undecidable problems
- Structure of quasivariety lattices. III: Finitely partitionable bases
- Properties not retained by pointed enrichments of finite lattices
- Standard topological algebras: syntactic and principal congruences and profiniteness
- Finitely generated congruence distributive quasivarieties of algebras
- PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
- On nonstandard quasivarieties of differential groupoids and unary algebras
This page was built for publication: Profinite locally finite quasivarieties
