Some applications of double-negation sheafification
From MaRDI portal
Publication:4146880
DOI10.1017/S001309150002650XzbMath0371.18010MaRDI QIDQ4146880
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
03C99: Model theory
03G05: Logical aspects of Boolean algebras
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
16P50: Localization and associative Noetherian rings
Related Items
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