The following pages link to Choice and well-ordering (Q579255):
Displaying 11 items.
- Choice and complexity (Q581191) (← links)
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
- Injective power objects and the axiom of choice (Q712189) (← links)
- Collapsed toposes and cartesian closed varieties (Q910487) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- Well-ordering and choice in toposes (Q1103041) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Scattered toposes (Q1977486) (← links)
- An intuitionistic version of Zermelo's proof that every choice set can be well-ordered (Q2758049) (← links)
- The Axiom of Choice, Well-Ordering, and Well-Classification (Q2941660) (← links)
- Order matters when choosing sets (Q2996721) (← links)