Boolean topoi and the theory of sets
From MaRDI portal
Publication:2555143
DOI10.1016/0022-4049(72)90006-0zbMath0245.18001OpenAlexW2059529852MaRDI QIDQ2555143
Publication date: 1972
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(72)90006-0
Axiomatics of classical set theory and its fragments (03E30) Axiom of choice and related propositions (03E25) Categories of sets, characterizations (18B05)
Related Items (19)
A sheaf model for intuitionistic quantum mechanics ⋮ Logic in Category Theory ⋮ Unnamed Item ⋮ Relating first-order set theories, toposes and categories of classes ⋮ From types to sets ⋮ WHAT IS A RESTRICTIVE THEORY? ⋮ Sheaf models for set theory ⋮ Nonstandard proof methods in toposes ⋮ Fuzzy sets: A topos-logical point of view ⋮ Comparing material and structural set theories ⋮ A globalization of the Hahn-Banach theorem ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory ⋮ Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen ⋮ The strength of Mac Lane set theory ⋮ Categories of Boolean topoi ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Categorical set theory: A characterization of the category of sets ⋮ Topos theory and Souslin's hypothesis ⋮ Unnamed Item
Cites Work
This page was built for publication: Boolean topoi and the theory of sets
