Pages that link to "Item:Q5016215"
From MaRDI portal
The following pages link to Higher order functions and Brouwer’s thesis (Q5016215):
Displaying 5 items.
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- The Brézis-Browder Theorem Revisited and Properties of Fitzpatrick Functions of Order n (Q2897290) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- Higher-Order Functions and Brouwer's Thesis (Q6276464) (← links)