Hyperformulas and solid algebraic systems (Q1005961): Difference between revisions

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.