Pages that link to "Item:Q4638975"
From MaRDI portal
The following pages link to A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975):
Displaying 6 items.
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5109510) (← links)
- (Q5129941) (← links)
