Pages that link to "Item:Q2417961"
From MaRDI portal
The following pages link to Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961):
Displaying 4 items.
- Equivalence of bar recursors in the theory of functionals of finite type (Q1115867) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)