scientific article
From MaRDI portal
Publication:3661555
zbMath0515.03017MaRDI QIDQ3661555
Publication date: 1982
Full work available at URL: https://eudml.org/doc/209220
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
categoricityBoolean productretractsBoolean powersequational compactnessinjectivesmodel companionsreduced powersfirst order decidabilityHausdorff sheaflimit powerssheaf theoretic formulations
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)
Related Items (2)
Elementary theory of \({\mathfrak D}\)-degrees ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
This page was built for publication: