Topologically computably categorical Polish space

Construct an infinite computable Polish space that is topologically computably categorical.

Background

Topological computable categoricity requires a computable homeomorphism between any two computable presentations of the same Polish space. The existence of an infinite example is unresolved.

References

Is there an infinite computable Polish space that is topologically computably categorical?

Open Problems in Mathematical Logic  (2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 8