Profinite locally finite quasivarieties

DOI10.1007/S11225-023-10077-YMaRDI QIDQ6597129zbMATH OpenFDO

Authors A. M. Nurakunov, M. V. Schwidefsky

Publication date 3 September 2024

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

inverse limitquasivarietylocally finitestandard quasivarietyprofinite structurequasi-equational basis

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3790504 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• scientific article; zbMATH DE number 2171495 (Why is no real title available?)
• Bases of quasiidentities of finite distributive p-algebras
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• Constraint satisfaction, irredundant axiomatisability and continuous colouring
• Finite lattices having no independent basis of quasiidentities
• Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities
• Finitely generated congruence distributive quasivarieties of algebras
• On nonstandard quasivarieties of differential groupoids and unary algebras
• On quasi-equational bases for differential groupoids and unary algebras
• PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
• Profiniteness in finitely generated varieties is undecidable
• Properties not retained by pointed enrichments of finite lattices
• Quasiidentities of finite unary algebras
• Residual bounds for compact totally disconnected algebras
• Residual properties of reflexive, anti-symmetric digraphs
• Standard topological algebras: syntactic and principal congruences and profiniteness
• Structure of quasivariety lattices. I: Independent axiomatizability
• Structure of quasivariety lattices. II: Undecidable problems
• Structure of quasivariety lattices. III: Finitely partitionable bases
• Structure of quasivariety lattices. IV: Nonstandard quasivarieties
• The axiomatizability of topological prevarieties

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)