Some applications of double-negation sheafification

DOI10.1017/S001309150002650XzbMath0371.18010OpenAlexW2146289689MaRDI QIDQ4146880

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) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Localization and associative Noetherian rings (16P50)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximal rings of quotients of semi-simple commutative rings
• 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
• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• Sheaves of structures and generalized ultraproducts
• The theory of Boolean ultrapowers
• Representations of algebras by continuous sections
• Boolean Powers in Algebraic Logic
• Rings and modules of quotients

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