On quasivarieties of partial algebras. Their generation and their subquasivarieties. I (Q1076702)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On quasivarieties of partial algebras. Their generation and their subquasivarieties. I |
scientific article; zbMATH DE number 3954992
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On quasivarieties of partial algebras. Their generation and their subquasivarieties. I |
scientific article; zbMATH DE number 3954992 |
Statements
On quasivarieties of partial algebras. Their generation and their subquasivarieties. I (English)
0 references
1986
0 references
It is formulated (using the language of (dht-)category to describe partial algebras) Theorem 10.2 (main result of this paper): There is an isomorphism between the complete lattice Con Ṯ of all congruences on a partial theory Ṯ and the complete lattice of all fully invariant strictly algebraic closure operators (on the systems of filters of subidentities of Ṯ).
0 references
(dht-)category
0 references
partial algebras
0 references
congruences
0 references
partial theory
0 references
fully invariant strictly algebraic closure operators
0 references
filters of subidentities
0 references
0.8495617508888245
0 references
0.8133858442306519
0 references
0.7990556955337524
0 references
