On the relationship between classical and computable topology

Pieter Collins*

*Corresponding author for this work

Research output: Contribution to conferenceAbstractAcademic

Abstract

In this talk, we will look at some important concepts in classical topology, and discuss their computable counterparts. The main goals are to combine many important results which are scattered throughout the literature, and to -nd the most natural de-nitions for computable versions of classical properties. It turns out that many notions in computable topology coincide more closely with the corresponding notion in limit/sequential spaces than the classical topological notion. Further, for the class of spaces admitting an admissible representation, in many cases the de-nitions coincide; an important case are the various topologies on the open sets, including the Scott topology.
Original languageEnglish
Pages20-21
Number of pages2
Publication statusPublished - 1 Jan 2017
Event14th International Conference on Computability and Complexity in Analysis - Daejeon, Korea, Republic of
Duration: 24 Jul 201727 Jul 2017
Conference number: 14

Conference

Conference14th International Conference on Computability and Complexity in Analysis
Abbreviated titleCCA 2017
Country/TerritoryKorea, Republic of
CityDaejeon
Period24/07/1727/07/17

Cite this