Profinite locally finite quasivarieties
From MaRDI portal
Publication:6597129
DOI10.1007/S11225-023-10077-YMaRDI QIDQ6597129FDOQ6597129
A. 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
Coloring of graphs and hypergraphs (05C15) Equational classes, universal algebra in model theory (03C05) Representation theory of lattices (06B15) Subalgebras, congruence relations (08A30) Quasivarieties (08C15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Standard topological algebras: syntactic and principal congruences and profiniteness
- The axiomatizability of topological prevarieties
- Residual bounds for compact totally disconnected algebras
- Constraint satisfaction, irredundant axiomatisability and continuous colouring
- Title not available (Why is that?)
- Title not available (Why is that?)
- PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
- On quasi-equational bases for differential groupoids and unary algebras
- Structure of quasivariety lattices. I: Independent axiomatizability
- Structure of quasivariety lattices. II: Undecidable problems
- Finitely generated congruence distributive quasivarieties of algebras
- Structure of quasivariety lattices. III: Finitely partitionable bases
- Structure of quasivariety lattices. IV: Nonstandard quasivarieties
- Finite lattices having no independent basis of quasiidentities
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Quasiidentities of finite unary algebras
- Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities
- Bases of quasiidentities of finite distributive p-algebras
- Properties not retained by pointed enrichments of finite lattices
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
- Title not available (Why is that?)
- On nonstandard quasivarieties of differential groupoids and unary algebras
This page was built for publication: Profinite locally finite quasivarieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6597129)