Show simple item record

Computability Theory (hybrid meeting)

dc.date.accessioned2021-06-16T12:48:06Z
dc.date.available2021-06-16T12:48:06Z
dc.date.issued2021
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3866
dc.description.abstractOver 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.
dc.titleComputability Theory (hybrid meeting)
dc.rights.licenseDieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.de
dc.rights.licenseThis document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.en
dc.identifier.doi10.14760/OWR-2021-21
local.series.idOWR-2021-21
local.subject.msc03
local.subject.msc68
local.date-range25 Apr - 01 May 2021
local.workshopcode2117
local.workshoptitleComputability Theory (hybrid meeting)
local.organizersVasco Brattka, Neubiberg; Noam Greenberg, Wellington; Iskander Kalimullin, Kazan; Mariya Soskova, Madison
local.report-nameWorkshop Report 2021,21
local.opc-photo-id2117
local.publishers-doi10.4171/OWR/2021/21


Files in this item

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record