Denecke, Klaus; Phusanga, Dara Hypersatisfaction of formulas in algebraic systems. (English) Zbl 1214.08001 Discuss. Math., Gen. Algebra Appl. 29, No. 2, 123-151 (2009). Admitting a flaw in their previous paper [Stud. Log. 90, No. 2, 263–286 (2008; Zbl 1162.08001)], the authors resume the study of algebraic systems with hypersubstitutions in order to redefine (and characterize) solid model classes via a slightly modified Galois correspondence between classes of algebraic systems and collections of formulas. The painstaking display of a modest ad hoc example is boring rather than illuminating. Reviewer: Manfred Armbrust (Köln) Cited in 3 Documents MSC: 08A99 Algebraic structures 03C05 Equational classes, universal algebra in model theory Keywords:algebraic system; relational clone; hypersubstitution; hypersatisfaction Citations:Zbl 1162.08001 PDFBibTeX XMLCite \textit{K. Denecke} and \textit{D. Phusanga}, Discuss. Math., Gen. Algebra Appl. 29, No. 2, 123--151 (2009; Zbl 1214.08001) Full Text: DOI