Pages that link to "Item:Q265800"
From MaRDI portal
The following pages link to Continuity of Gödel's system T definable functionals via effectful forcing (Q265800):
Displaying 6 items.
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5109510) (← links)
- Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
