Some applications of double-negation sheafification

DOI10.1017/S001309150002650XMaRDI QIDQ4146880zbMATH OpenOpenAlexFDO

Authors D. S. Macnab

Publication date 1977

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s001309150002650x

Mathematics Subject Classification ID

Model theory (03C99) Logical aspects of Boolean algebras (03G05) Localization and associative Noetherian rings (16P50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Cites work

• Boolean Powers in Algebraic Logic
• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• scientific article; zbMATH DE number 3505199 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3385864 (Why is no real title available?)
• Maximal rings of quotients of semi-simple commutative rings
• Representations of algebras by continuous sections
• Rings and modules of quotients
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Sheaf spaces and sheaves of universal algebras
• Sheaves of structures and generalized ultraproducts
• The theory of Boolean ultrapowers

Cited in

(2)

• Helices
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

This page was built for publication: Some applications of double-negation sheafification

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