The following pages link to (Q5655524):
Displayed 22 items.
- A category-theoretic approach to Boolean-valued models of set theory (Q580339) (← links)
- Categories of Boolean topoi (Q759091) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Abelian groups in a topos: injectives and injective effacements (Q1055543) (← links)
- Fuzzy sets and toposes - towards higher order fuzzy logic (Q1097257) (← links)
- From types to sets (Q1140642) (← links)
- A survey of fuzzy set and topos theory (Q1175730) (← links)
- Ultrafilters, ultrapowers and finiteness in a topos (Q1223383) (← links)
- Change of base for toposes with generators (Q1236172) (← links)
- Erratum to ``Topos theory and Souslin's hypothesis'' (Q1250100) (← links)
- Categories (Q1255566) (← links)
- Laminations, or how to build a quantum-logic-valued model of set theory (Q1258738) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The minimal mathematical structure for a synchronic approach to fuzzy set theory (Q1772760) (← links)
- Categorical set theory: A characterization of the category of sets (Q1843432) (← links)
- Topos theory and Souslin's hypothesis (Q1844831) (← links)
- (Q3318937) (← links)
- (Q4068902) (← links)
- (Q4135737) (← links)
- Some applications of double-negation sheafification (Q4146880) (← links)
- A topological structure on the structure shaf of a topological ring (Q4148089) (← links)