COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Which Weihrauch degrees correspond to axiom systems?

## Which Weihrauch degrees correspond to axiom systems?Add to your list(s) Download to your calendar using vCal - Vasco Brattka (Universität der Bundeswehr München, University of Cape Town)
- Friday 10 June 2022, 10:00-11:00
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact nobody. SASW09 - International conference on computability, complexity and randomness Weihrauch complexity can be seen as a more uniform version of different varieties of reverse mathematics. This is true, in particular, for classical reverse mathematics (in the sense of Friedman and Simpson) as well as for constructive reverse mathematics (in the sense of Ishihara) and probably for other varieties too. In both cases “more uniform” only holds modulo certain additional differences. In both cases the question appears, when certain Weihrauch degrees legitimately correspond to certain axiom systems. In some cases, such as WKL , there is a widely accepted answer to this question. In other cases, such as ATR or induction and boundedness principles, this is debated somewhat controversially. We will propose a thesis that can be used as a necessary condition for legitimacy and it roughly says that the theories of the respective axiom systems should correspond to the lower cones of the corresponding Weihrauch degrees. This leads to a discussion of closure under compositional product and parallelization. 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. |
## Other listsVer Heyden de Lancey Medico-Legal Lectures Genetics Seminar Series cambridge immunology## Other talksStatistics Clinic Easter 2022 IV Keynote Speaker WiMIUA Workshop Hors d'oeuvre Closing Event WiMIUA Workshop Abstract Submissions: Poster Session Consumption and inclusion in Indian mid-century planning: The universal opulence of PC Mahalanobis Statistics Clinic Easter 2022 III |