On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf01190713 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2023227558 / rank | |||
Normal rank | |||
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
