scientific article; zbMATH DE number 3430850
From MaRDI portal
Publication:5182330
zbMath0274.18012MaRDI QIDQ5182330
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sheaf cohomology in algebraic topology (55N30) Applications of logic to commutative algebra (13L05) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Intuitionistic mathematics (03F55)
Related Items (36)
Constructive complete distributivity. IV ⋮ Dimension of Boolean valued lattices and rings ⋮ Diagonalization of continuous matrices as a representation of intuitionistic reals ⋮ Sheaves of integral domains on Stone spaces ⋮ Unnamed Item ⋮ Rings and sheaves ⋮ The Pauli problem, state reconstruction and quantum-real numbers ⋮ Unnamed Item ⋮ The Hahn-Banach theorem in a category of sheaves ⋮ Functional representations of semirings. ⋮ Banach sheaves ⋮ Spatial localization in quantum theory based on qr-numbers ⋮ A generalisation of Gel'fand duality ⋮ A globalization of the Hahn-Banach theorem ⋮ Unnamed Item ⋮ Operations on categories of modules are given by Schur functors ⋮ Unnamed Item ⋮ Associative rings ⋮ Modules in the category of sheaves over quantales ⋮ The decision problem for some finite extensions of the intuitionistic theory of abelian groups ⋮ Integral domain type representations in sheaves and other topoi ⋮ Rings, fields, and spectra ⋮ Universal projective geometry via topos theory ⋮ Topos theory and complex analysis ⋮ Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato ⋮ Théorie des modeles et faisceaux ⋮ On sheaf cohomology and natural expansions ⋮ Compact ringed spaces ⋮ Semicontinuous real numbers in a topos ⋮ Change of base for measure spaces ⋮ Sheaf models and massless fields ⋮ On the quantisation of spaces ⋮ A globalisation of the Gelfand duality theorem ⋮ Formal Zariski topology: Positivity and points ⋮ Spectral decomposition theorem for real symmetric matrices in topoi and applications ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
This page was built for publication: