×

Hypersatisfaction of formulas in algebraic systems. (English) Zbl 1214.08001

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.

MSC:

08A99 Algebraic structures
03C05 Equational classes, universal algebra in model theory

Citations:

Zbl 1162.08001
PDFBibTeX XMLCite
Full Text: DOI