No label defined (Q4026902)
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 125209
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 125209 |
Statements
21 February 1993
0 references
essentially minimal clone
0 references
essential function
0 references
essential clones
0 references
0.8162505626678467
0 references
0.8160639405250549
0 references
0.8129772543907166
0 references
[For the entire collection see Zbl 0745.00034.] A function is essential if it depends on at least two variables. A clone is essential if it contains at least one essential function. A clone is essentially minimal if it is minimal among all essential clones and it is not a minimal clone. In other words, a clone is essentially minimal if it contains an essential function, no proper subclone of it contains an essential function and it also contains at least one non-trivial unary function. For an explicitly defined binary function \(f\) on the set of integers it is proved that the clone generated by \(f\) is essentially minimal and contains countably many binary essential functions.
0 references
