Computability Theory

  • Vasco Brattka

    Universität der Bundeswehr München, Neubiberg, Germany
  • Noam Greenberg

    Victoria University of Wellington, New Zealand
  • Iskander Kalimullin

    Kazan Federal University, Russia
  • Mariya Soskova

    University of Wisconsin-Madison, USA

Abstract

Over the last decade computability theory has seen many new and fascinating developments that have linked the subject much closer to other mathematical disciplines inside and outside of logic. This includes, for instance, work on enumeration degrees that has revealed deep and surprising relations to general topology, the work on algorithmic randomness that is closely tied to symbolic dynamics and geometric measure theory. Inside logic there are connections to model theory, set theory, effective descriptive set theory, computable analysis and reverse mathematics. In some of these cases the bridges to seemingly distant mathematical fields have yielded completely new proofs or even solutions of open problems in the respective fields. Thus, over the last decade, computability theory has formed vibrant and beneficial interactions with other mathematical fields.

The goal of this workshop was to bring together researchers representing different aspects of computability theory to discuss recent advances, and to stimulate future work.

Cite this article

Vasco Brattka, Noam Greenberg, Iskander Kalimullin, Mariya Soskova, Computability Theory. Oberwolfach Rep. 18 (2021), no. 2, pp. 1149–1190

DOI 10.4171/OWR/2021/21