Effective Banach spaces
From MaRDI portal
Publication:6234699
arXiv1207.6622MaRDI QIDQ6234699FDOQ6234699
Authors: Bjørn Kjos-Hanssen 
Publication date: 27 July 2012
Abstract: This thesis addresses Pour-El and Richards' fourth question from their book "Computability in analysis and physics", concerning the relation between higher order recursion theory and computability in analysis. Among other things it is shown that there is a computability structure that is uncountable. The example given is a structure on the Banach space of bounded linear operators on the set of almost periodic functions.
This page was built for publication: Effective Banach spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6234699)
