Sheaf Constructions and Their Elementary Properties
- 1 March 1979
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 248 (2) , 269-309
- https://doi.org/10.2307/1998970
Abstract
We are interested in sheaf constructions in model-theory, so an attempt is made to unify and generalize the results to date, namely various forms of the Feferman-Vaught Theorem, positive decidability results, and constructions of model companions. The task is considerably simplified by introducing a new definition of sheaf constructions over Boolean spaces.Keywords
This publication has 24 references indexed in Scilit:
- Sheaf Constructions and Their Elementary PropertiesTransactions of the American Mathematical Society, 1979
- Equational compactness in quasi-primal varietiesAlgebra universalis, 1977
- Monadic Algebras with finite degreeAlgebra universalis, 1975
- Boolean powersAlgebra universalis, 1975
- Complete and model-complete theories of monadic algebrasColloquium Mathematicum, 1975
- Reduced Powers and Boolean ExtensionsJournal of the London Mathematical Society, 1975
- Sheaf spaces and sheaves of universal algebrasMathematische Zeitschrift, 1973
- Representations by algebras of sections over Boolean spacesPacific Journal of Mathematics, 1971
- Model-completions and modulesAnnals of Mathematical Logic, 1971
- Topological Representation of AlgebrasTransactions of the American Mathematical Society, 1948