The following pages link to Forcing and classifying topoi (Q3320376):
Displayed 6 items.
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- A topos-theorist looks at dilators (Q1121978) (← links)
- The Lee identities in topoi. I (Q1368589) (← links)
- Seven trees in one (Q1901018) (← links)
- Functional Thesauri, Classifying Topoi, Unification, and Flatness (Q5049038) (← links)