The following pages link to Jesper Carlström (Q4435461):
Displaying 5 items.
- (Q4435462) (← links)
- Wheels on division by zero (Q4463992) (← links)
- EM + Ext<sub>−</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub> (Q4736750) (← links)
- A constructive version of Birkhoff's theorem (Q5448613) (← links)
- Interpreting descriptions in intensional type theory (Q5718672) (← links)
