The following pages link to (Q4809073):
Displaying 5 items.
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- (Q5875427) (← links)