activity
20152021
most citedThe extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2015★ 1 cited

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

Dag Normann

We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleen…