Finite quasivarieties and self-referential conditions

DOI10.1007/s11225-005-7348-3zbMath1105.08009OpenAlexW1963885651MaRDI QIDQ1770617

Alexei Vernitski

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-7348-3

zbMATH Keywords

recursionquasivarietyquasi-identitypseudovarietyself-referential condition

Mathematics Subject Classification ID

Quasivarieties (08C15)

Related Items (4)

ORDERED SEMIGROUPS, UPPER-TRIANGULAR REFLEXIVE RELATIONS AND SEMIGROUPS OF LANGUAGES ⋮ Inverse subsemigroups and classes of finite aperiodic semigroups. ⋮ Lattices of subclasses ⋮ On Using the Join Operation to Define Classes of Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudovarieties, generalized varieties and similarly described classes
• On the membership problem for pseudovarieties of commutative semigroups
• Algorithmic problems for finite groups and finite \(0\)-simple semigroups
• Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I
• Semigroups of order-preserving mappings
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• Studying semigroups of mappings using quasi-identities

This page was built for publication: Finite quasivarieties and self-referential conditions