Pages that link to "Item:Q265800"

The following pages link to Continuity of Gödel's system T definable functionals via effectful forcing (Q265800):

Displaying 2 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)