Logic Seminar

Linda Brown WestrickUniversity of Connecticut, Storrs
Towards a notion of computable reducibility for discontinuous functions

Tuesday, September 26, 2017 - 2:55pm
Malott 206

If $X$ and $Y$ are computably presented uncountable metric spaces, the collection of all functions from $X$ to $Y$ has cardinality too large to allow such functions to be represented as elements of Baire space. Nevertheless, we have some intuitive idea of what it should mean for one discontinuous function to compute another. I will discuss the problem of defining an appropriate notion of computable reducibility on this space. Joint work with Adam Day, Rod Downey and Takayuki Kihara.