scientific article; zbMATH DE number 3385864
From MaRDI portal
Publication:5655524
zbMath0244.18005MaRDI QIDQ5655524
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Continuum hypothesis and Martin's axiom (03E50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)
Related Items (26)
Fuzzy sets and toposes - towards higher order fuzzy logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Non-well-founded trees in categories ⋮ From types to sets ⋮ Forcing revisited ⋮ Mathematical modal logic: A view of its evolution ⋮ A survey of fuzzy set and topos theory ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Unnamed Item ⋮ The minimal mathematical structure for a synchronic approach to fuzzy set theory ⋮ Ultrafilters, ultrapowers and finiteness in a topos ⋮ Some applications of double-negation sheafification ⋮ A topological structure on the structure shaf of a topological ring ⋮ A category-theoretic approach to Boolean-valued models of set theory ⋮ Change of base for toposes with generators ⋮ Erratum to ``Topos theory and Souslin's hypothesis ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes ⋮ Categories ⋮ Laminations, or how to build a quantum-logic-valued model of set theory ⋮ Categories of Boolean topoi ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Categorical set theory: A characterization of the category of sets ⋮ Topos theory and Souslin's hypothesis ⋮ Abelian groups in a topos: injectives and injective effacements ⋮ Unnamed Item
This page was built for publication: