The following pages link to Sheaf models for set theory (Q1145695):
Displaying 18 items.
- What do Freyd's toposes classify? (Q382418) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- The ''World's simplest axiom of choice'' fails (Q1171570) (← links)
- Complete topoi representing models of set theory (Q1192330) (← links)
- Constructive \(\lambda\)-models (Q1192622) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Seven trees in one (Q1901018) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
- Nonstandard proof methods in toposes (Q6151820) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
