Pages that link to "Item:Q2219099"
From MaRDI portal
The following pages link to Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099):
Displaying 4 items.
- 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)
- Formally continuous functions on Baire space (Q5109223) (← links)