Weihrauch degrees for generalized Baire space

Add to your list(s) Download to your calendar using vCal

• Galeotti, L (Universiteit van Amsterdam)
• Saturday 10 October 2015, 11:00-11:55
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact webseminars.

Mathematical, Foundational and Computational Aspects of the Higher Infinite

The theory of Weihrauch degrees is about representing classical theorems of analysis in Baire space and comparing their strength (measured as the Weihrauch degree). In this talk, we are exploring a version of this theory for generalized Baire space. The first step in this generalization is that of finding a generalization of R on which we can prove a version of theorems from classical analysis. The first part of the talk will be devoted to the presentation of the construction of an extension of R on which we can prove a version of the Intermediate Value Theorem. In the second part of the talk we will be focusing on generalizing notions from computable analysis. Finally we will show how this new framework can be used to characterize the strength of the generalized version of the version of the Intermediate Value Theorem we presented in the first half of the talk.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.