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

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

collaborators
Showing 2018Show all

2 papers · 1 filter

math.LO2018

Measure-theoretic Uniformity and the Suslin Functional

Dag Normann

We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for -sets of positive measure to computabili…

math.LO2018

Pincherle's theorem in Reverse Mathematics and computability theory

Dag Normann, Sam Sanders

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a loc…