zbMATH — the first resource for mathematics

Sheaf constructions in universal algebra and model theory. (English) Zbl 0515.03017
Universal algebra and applications, Semester 1978, Banach Cent. Publ. 9, 133-179 (1982).

03C60 Model-theoretic algebra
03C05 Equational classes, universal algebra in model theory
03C20 Ultraproducts and related constructions
03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
03B25 Decidability of theories and sets of sentences