Degree Structure of Computable Presentations of the Unit Interval
Application process
A completed online application must be submitted by 4.30 pm 22 September 2025. Late or incomplete applications will not be accepted. Any required supporting documentation (including references) must also be received by 4.30 pm on the closing date in order for the application to be considered.
Project number
130
Project description
In classical analysis, topological spaces being equivalent up to homeomorphism forms an equivalence relation. However in computable analysis, A being computably homeomorphic to B does not necessarily mean that B is computably homeomorphic to B. The computable homeomorphism relation therefore induces a preorder on presentations of the space, and even for simple structures like the unit interval, this is not well understood.
We will investigate the degree structure of the unit interval in order to understand its computable presentations.
This project is for a single student.
Location
Mainly at the University.
Supervisor
Associate Professor in Mathematics
School of Mathematics and Statistics