Hyperformulas and solid algebraic systems (Q1005961): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
m rollbackEdits.php mass rollback Tag: Rollback |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-008-9152-3 / rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2087608336 / rank | |||
Revision as of 03:46, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hyperformulas and solid algebraic systems |
scientific article |
Statements
Hyperformulas and solid algebraic systems (English)
0 references
17 March 2009
0 references
Extending to ``hypersatisfaction of formulas'', the notion of hyperidentity elaborated by \textit{E. Graczyńska} and \textit{D. Schweigert} [Algebra Univers. 27, No.~3, 305--318 (1990; Zbl 0715.08002)], the authors arrive at a Galois correspondence between classes of algebraic systems und collections of formulas, whose constituents and environs they explain tediously and yet not very rigorously. Vaguely mentioned possible applications to varieties of universal algebras might at most be purely formal; the examples offered for illustration are utterly trivial.
0 references
hypersubstitution
0 references
hyperidentity
0 references
hypersatisfaction
0 references
Galois correspondence
0 references
clone of formulas
0 references
hyperformula
0 references
solid class of algebraic systems
0 references