scientific article; zbMATH DE number 3813596

zbMATH Open0515.03017MaRDI QIDQ3661555FDOQ3661555

Heinrich Werner

Publication date: 1982

Full work available at URL: https://eudml.org/doc/209220

Title of this publication is not available (Why is that?)

zbMATH Keywords

categoricityretractsBoolean powersequational compactnessinjectivesmodel companionsBoolean productreduced powersfirst order decidabilityHausdorff sheaflimit powerssheaf theoretic formulations

Mathematics Subject Classification ID

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

Cited In (2)

• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Elementary theory of \({\mathfrak D}\)-degrees

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3661555)