The following pages link to (Q3216642):
Displaying 4 items.
- Helly's selection theorem and the principle of local reflexivity of ordered type (Q1333615) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- Cut-elimination for simple type theory with an axiom of choice (Q4262565) (← links)
- (Q5455185) (← links)