The following pages link to (Q5613181):
Displaying 14 items.
- Limit spaces with approximations (Q290635) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- Partial enumerable and finite functionals (Q1254996) (← links)
- Everywhere-defined continuous functionals (Q1844828) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces (Q2988845) (← links)
- Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen (Q3048827) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- Internal Density Theorems for Hierarchies of Continuous Functionals (Q3507463) (← links)
- Eine beweistheoretische Anwendung partieller stetiger Funktionale (Q4184826) (← links)
- (Q4513589) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5129941) (← links)
