Degree Structure of Computable Presentations of the Unit Interval
Scholarship details
| Study levels | Degree | 
|---|---|
| Close date | Monday, 22 September 2025 | 
| Domestic/international | Domestic Only | 
About the scholarship
This project investigates the degree structure of the unit interval in order to understand its computable presentations. 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 A. 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.
Entry requirements
A completed online application must be submitted by 4:30 pm on the closing date. Late or incomplete applications will not be accepted. Any required supporting documentation (including references) must also be received by the closing date.