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 language | English |
---|---|
Pages | 20-21 |
Number of pages | 2 |
Publication status | Published - 1 Jan 2017 |
Event | 14th International Conference on Computability and Complexity in Analysis - Daejeon, Korea, Republic of Duration: 24 Jul 2017 → 27 Jul 2017 Conference number: 14 |
Conference
Conference | 14th International Conference on Computability and Complexity in Analysis |
---|---|
Abbreviated title | CCA 2017 |
Country/Territory | Korea, Republic of |
City | Daejeon |
Period | 24/07/17 → 27/07/17 |