The following pages link to On bar recursion of types 0 and 1 (Q3870893):
Displaying 7 items.
- A constructive analysis of learning in Peano arithmetic (Q450942) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5109510) (← links)
- (Q5129941) (← links)