On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686): Difference between revisions
From MaRDI portal
Latest revision as of 10:33, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics |
scientific article |
Statements
On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (English)
0 references
1990
0 references
A pseudovariety is a class of finite algebras of a given finitary type which is closed under the formation of homomorphic images, subalgebras and finite direct products. This paper provides a systematic approach to various characterisations of pseudovarieties. This yields a corresponding alternative description of the lattice of pseudovarieties contained in a given pseudovariety. Finally a partial solution is given to the problem of determining a complete set of deduction rules for pseudoidentities.
0 references
pseudovariety
0 references
pseudoidentities
0 references