Pages that link to "Item:Q2555143"
From MaRDI portal
The following pages link to Boolean topoi and the theory of sets (Q2555143):
Displayed 15 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Categories of Boolean topoi (Q759091) (← links)
- From types to sets (Q1140642) (← links)
- Sheaf models for set theory (Q1145695) (← links)
- Fuzzy sets: A topos-logical point of view (Q1148901) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen (Q1211512) (← links)
- A sheaf model for intuitionistic quantum mechanics (Q1346410) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Categorical set theory: A characterization of the category of sets (Q1843432) (← links)
- Topos theory and Souslin's hypothesis (Q1844831) (← links)
- Logic in Category Theory (Q2909761) (← links)
- (Q4068902) (← links)
- (Q4135737) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)