Hypervarieties of a given type (Q751684): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:25, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hypervarieties of a given type |
scientific article |
Statements
Hypervarieties of a given type (English)
0 references
1990
0 references
The paper concerns the notions of hyperidentities and hypervarieties. In particular solid varieties are defined and studied. An algebra A is solid if every identity satisfied in \({\mathfrak A}\) is transformed into a hyperidentity which is satisfied in \({\mathfrak A}\) (i.e. it is satisfied in the variety generated by \({\mathfrak A})\). The authors study the logic connected with hyperidentities and prove a completeness theorem which combines this logic with solid varieties. Further a slight reformulation of Birkhoff's completeness theorem for identities is proved.
0 references
hyperidentities
0 references
hypervarieties
0 references
solid varieties
0 references
completeness theorem
0 references