Computable Topology

Course

Lecturer:
Vasco Brattka (Universität der Bundeswehr München, Germany)

Board Contact:
Alberto Marcone

SSD: MATH-01/A

CFU: 4 CFU + assignment: 2 CFU 

Period: April–May 2026

Lessons / Hours: 8 lectures, 16 hours 

Program:

  1. Represented Spaces and Computability
  2. Sequential Spaces
  3. Open Subsets
  4. Closed Subsets
  5. Complete Subsets
  6. Compact Subsets
  7. Fiber Properties
  8. Overt Spaces
  9. Compact Spaces
  10. Computable Fréchet Spaces
  11. Computable Kolmogorov Spaces
  12. Second-Countability
  13. Quasi-Polish Spaces
  14. Computable Bases
  15. Computable Regularity and Normality
  16. Computable Metric Spaces

Verification: Student presentation on selected topics

Prerequisites: Basic knowledge in computability theory and general topology