Publication:3866084
From MaRDI portal
zbMath0429.03015MaRDI QIDQ3866084
Publication date: 1979
discriminator varietiessheaf representations of algebrasFeferman-Vaught-theorem for sheavesrepresentation by algebras of global sectionssheaves over Boolean spacestransfer theorems of model theoretic properties
Model-theoretic algebra (03C60) Congruence modularity, congruence distributivity (08B10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items