On subtractive varieties. IV: Definability of principal ideals (Q1966128)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1407081
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On subtractive varieties. IV: Definability of principal ideals |
scientific article; zbMATH DE number 1407081 |
Statements
On subtractive varieties. IV: Definability of principal ideals (English)
0 references
27 February 2000
0 references
[For parts I--III see Zbl 0799.08010, Zbl 0902.08010 and Zbl 0906.08005, respectively.] The concept of ideal in universal algebra was introduced by the second author. This paper deals with equationally definable principal ideals (EDPI) in the so-called subtractive varieties (alias varieties permutable at 0). The authors introduce one variety of generalized Hilbert algebras and prove that this is a paradigm of a subtractive variety with EDPI. Then they deal with principal ideal operations and with the cases of meet and join of principal ideals being equationally definable.
0 references
ideal
0 references
subtractive variety
0 references
equationally definable principal ideals
0 references
generalized Hilbert algebras
0 references
0.8499998450279236
0 references
0.8471553325653076
0 references
0.8370954394340515
0 references
0.8272148966789246
0 references
