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
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