https://www.dagstuhl.de/20161

13. – 17. April 2020, Dagstuhl-Seminar 20161

Descriptive Set Theory and Computable Topology

Organisatoren

Mathieu Hoyrup (LORIA & INRIA Nancy, FR)
Arno Pauly (Swansea University, GB)
Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU)
Mariya I. Soskova (University of Wisconsin – Madison, US)

Auskunft zu diesem Dagstuhl-Seminar erteilen

Annette Beyer zu administrativen Fragen

Shida Kunz zu wissenschaftlichen Fragen

Dokumente

Programm des Dagstuhl-Seminars (Hochladen)

(Zum Einloggen bitte persönliche Zugangsdaten verwenden)

Motivation

Computability and continuity are closely linked – in fact, continuity can be seen as computability relative to an arbitrary oracle. As such, concepts from topology and descriptive set theory feature heavily in the foundations of computable analysis. Conversely, techniques developed in computability theory can be fruitfully employed in topology and descriptive set theory, even if the desired results mention no computability at all.

In this Dagstuhl Seminar, we bring together researchers from computable analysis, from classical computability theory, from descriptive set theory, formal topology, and other relevant areas. Our goals are to identify key open questions related to this interplay, to exploit synergies between the areas and to intensify collaboration between the relevant communities.

Particular topics to be discussed include:

Quasi-Polish spaces as a common generalization of omega-continuous domains and Polish spaces. Many key results from descriptive set theory have already been extended to quasi-Polish spaces. Recently, reasonable candidates for computable quasi-Polish spaces were identified. We plan to continue the investigation of computability-aspects of quasi-Polish spaces.

The nascent synthetic descriptive set theory, where ideas from synthetic topology and category theory are linked to classical and effective descriptive set theory. The focus here is on properties of the spaces as a category rather than on their internal structures.

The connection between sigma-homeomorphism typesof topological spaces and recursion-theoretic degree structures, in particular substructures of the enumeration degrees. In recent years, this connection has enabled Kihara and Pauly to solve a long-open problem by Jayne from topological dimension theory and has sparked significant new interest in the enumeration degrees.

CoPolish spaces as introduced by Schröder are a natural dual of the quasi-Polish spaces. They commonly arise in analysis (the space of real polynomials or of analytic functions are typical examples). They are also characterized as the class of spaces in computable analysis where complexity theory takes a familiar form.

Motivation text license
  Creative Commons BY 3.0 DE
  Mathieu Hoyrup, Arno Pauly, Victor Selivanov, and Mariya I. Soskova

Classification

  • Data Structures / Algorithms / Complexity
  • Semantics / Formal Methods
  • Verification / Logic

Keywords

  • Computable analysis
  • Quasi-Polish spaces
  • Synthetic topology
  • Enumeration degrees

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.