Functionals of type 3 as realisers of classical theorems in analysis

DOI10.1007/978-3-319-94418-0_32OpenAlexW2810240568MaRDI QIDQ1670758

Dag Normann

Publication date: 6 September 2018

Full work available at URL: http://hdl.handle.net/10852/71035

Mathematics Subject Classification ID

Descriptive set theory (03E15) Higher-type and set recursion theory (03D65)

Related Items (5)

ON THE UNCOUNTABILITY OF ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ On the mathematical and foundational significance of the uncountable ⋮ Measure-theoretic uniformity and the Suslin functional

This page was built for publication: Functionals of type 3 as realisers of classical theorems in analysis