Fregean subtractive varieties with definable congruence (Q4531552)
From MaRDI portal
scientific article; zbMATH DE number 1744132
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fregean subtractive varieties with definable congruence |
scientific article; zbMATH DE number 1744132 |
Statements
Fregean subtractive varieties with definable congruence (English)
0 references
7 October 2002
0 references
subtractive variety
0 references
Fregean variety
0 references
congruence-orderable variety
0 references
variety with equationally definable principal congruences
0 references
dual Hilbert algebra
0 references
