The following pages link to The axiom of choice (Q5904544):
Displaying 14 items.
- What do Freyd's toposes classify? (Q382418) (← links)
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Abelian groups in a topos: injectives and injective effacements (Q1055543) (← links)
- Sheaf models for set theory (Q1145695) (← links)
- The ''World's simplest axiom of choice'' fails (Q1171570) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
- Cohen and Set Theory (Q3616434) (← links)
- Quotients of decidable objects in a topos (Q3661764) (← links)
- (Q3901650) (← links)
- Internal parameterization of hyperconnected quotients (Q6595527) (← links)
