1 Introduction
Computability Theory
In computable analysis [Reference PourEl and Ian Richards51, Reference Weihrauch65], there has for a long time been an interest in how complicated the set of codes of some element in a suitable space may be. PourEl and Richards [Reference PourEl and Ian Richards51] observed that any real number and, more generally, any point in a Euclidean space has a Turing degree. They subsequently raised the question of whether the same holds true for any computable metric space. Miller [Reference Miller37] later proved that various infinitedimensional metric spaces such as the Hilbert cube and the space of continuous functions on the unit interval contain points which lack Turing degrees; that is, have no simplest code w.r.t. Turing reducibility. A similar phenomenon was also observed in algorithmic randomness theory. Day and Miller [Reference Day and Miller12] showed that no neutral measure has Turing degree by understanding each measure as a point in the infinitedimensional space consisting of probability measures on an underlying space.
These previous works convince us of the need for a reasonable theory of degrees of unsolvability of points in an arbitrary represented space. To establish such a theory, we associate a substructure of the Medvedev degrees with a represented space, which we call its point degree spectrum. A wide variety of classical degree structures are realised in this way; for example, Turing degrees [Reference Soare61], enumeration degrees [Reference Friedberg and Rogers16], continuous degrees [Reference Miller37] and degrees of continuous functionals [Reference Hinman20]. What is more noteworthy is that the concept of a point degree spectrum is closely linked to infinitedimensional topology. For instance, we shall see that for a Polish space all points have Turing degrees if and only if the small transfinite inductive dimension of the space exists.
In a broader context, there are various instances of smallness properties (i.e., $\sigma $ ideals) of spaces and sets that start making sense for points in an effective treatment; for example, arithmetical (Cohen) genericity [Reference Downey and Hirschfeldt14, Reference Odifreddi41], Martin–Löf randomness [Reference Downey and Hirschfeldt14] and effective Hausdorff dimension [Reference Lutz35]. In all of these cases, individual points can carry some amount of complexity; for example, a Martin–Löf random point is in some sense too complicated to be included in a computable $G_{\delta }$ set having effectively measure zero. A recent important example [Reference Pol and Zakrzewski50, Reference Zapletal66] from forcing theory is genericity with respect to the $\sigma $ ideal generated by finitedimensional compact metrisable spaces. Our work provides an effective notion corresponding to topological invariants such as small inductive dimension or metrisability and, for example, allows us to say that certain points are too complicated to be (computably) a member of a (finitedimensional) Polish space.
Additionally, the actual importance of point degree spectrum is not merely conceptual but also applicative. Indeed, unexpectedly, our notion of point degree spectrum turned out to be a powerful tool in descriptive set theory and infinitedimensional topology, in particular in the study of restricted Borel isomorphism problems, as explained in more depth below.
Descriptive Set Theory
A Borel isomorphism problem (see [Reference Cenzer and Daniel Mauldin6, Reference Daniel Mauldin10, Reference Harrington19, Reference Steel62]) asks to find a nontrivial isomorphism type in a certain class of Borel spaces (i.e., topological spaces together with their Borel $\sigma $ algebras). As is well known, Kuratowski’s theorem tells us that every uncountable Polish space is Borel isomorphic to the real line $\mathbb {R}$ . It is lesser known that what Kuratowski really showed is that an uncountable Polish space is unique up to $\omega $ thlevel Borel isomorphism (cf. [Reference Kuratowski33, Remark (ii) in p. 451]). Here, an $\alpha $ thlevel Borel/Baire isomorphism between $\mathbf {X}$ and $\mathbf {Y}$ is a bijection f such that $E\subseteq \mathbf {X}$ is of additive Borel/Baire class $\alpha $ (i.e., $\mathbf {\Sigma }^{0}_{1+\alpha }$ ) if and only if $f[E]\subseteq \mathbf {Y}$ is of additive Borel/Baire class $\alpha $ . These restricted Borel isomorphisms were also considered by Jayne [Reference Jayne23] in Banach space theory, in order to obtain certain variants of the Banach–Stone theorem and the Gelfand–Kolmogorov theorem for Banach algebras of the forms $\mathcal {B}_{\alpha }^{*}(\mathbf {X})$ for realcompact spaces $\mathbf {X}$ . Here, $\mathcal {B}_{\alpha }^{*}(\mathbf {X})$ is the Banach algebra of bounded realvalued Baire class $\alpha $ functions on a space $\mathbf {X}$ with respect to the supremum norm and the pointwise operation [Reference Bade5, Reference Dashiell11, Reference Jayne23]. The first and secondlevel Borel/Baire isomorphic classifications have been studied by several authors (see [Reference Jayne and Rogers24, Reference Jayne and Rogers25]). For instance, it is proved that there are at least two secondlevel Borel isomorphism types of uncountable Polish spaces; that is, types of finitedimensional Euclidean spaces $\mathbb {R}^{n}$ and the Hilbert cube $[0,1]^{\mathbb {N}}$ . However, it is not certain even whether more than two secondlevel Borel isomorphism types exist:
Problem 1.1 (The SecondLevel Borel Isomorphism Problem)
Are all uncountable Polish spaces secondlevel Borel isomorphic either to $\mathbb {R}$ or to $\mathbb {R}^{\mathbb {N}}$ ?
Problem 1.1 and the nthlevel analogues were recently highlighted by Motto Ros [Reference Ros54, Question 8.5] and Motto Ros et al. [Reference Ros, Schlicht and Selivanov55, Question 4.29]. As already pointed out by Motto Ros [Reference Ros54], Jayne’s work [Reference Jayne23] mentioned above shows that Problem 1.1 is closely related to asking the following problem on Banach algebras.
Problem 1.2. Is the Banach space $\mathcal {B}_{2}^{*}(\mathbf {X})$ of the Baire class $2$ functions on an uncountable Polish space $\mathbf {X}$ linearly isometric (or ring isomorphic) either to $\mathcal {B}_{2}^{*}([0,1])$ or to $\mathcal {B}_{2}^{*}([0,1]^{\mathbb {N}})$ ?
The very recent successful attempts to generalise the Jayne–Rogers theorem and the Solecki dichotomy (see [Reference Ros54, Reference Pawlikowski and Sabok47] and also [Reference Gregoriades, Kihara and Ng17] for a computability theoretic proof) have revealed the close connection between secondlevel Borel isomorphism and $\sigma $ homeomorphism for Polish spaces (see Subsection 2.2.1). Here, a topological space $\mathbf {X}$ is $\sigma $ homeomorphic to $\mathbf {Y}$ (written as $\mathbf {X}\cong _{\sigma }^{\mathfrak {T}}\mathbf {Y}$ ) if there are a bijection $f:\mathbf {X}\to \mathbf {Y}$ and countable covers $\{\mathbf {X}_{i}\}_{i\in \omega }$ and $\{\mathbf {Y}_{i}\}_{i\in \omega }$ of $\mathbf {X}$ and $\mathbf {Y}$ such that $f\upharpoonright \mathbf {X}_{i}$ gives a homeomorphism between $\mathbf {X}_{i}$ and $\mathbf {Y}_{i}$ for every $i\in \omega $ .
Therefore, the secondlevel Borel isomorphism problem is closely related to the following problem.
Problem 1.3 (Motto Ros et al. [Reference Ros, Schlicht and Selivanov55])
Is any Polish space $\mathbf {X}$ either $\sigma $ embedded into $\mathbb {R}$ or $\sigma $ homeomorphic to $\mathbb {R}^{\mathbb {N}}$ ?
Unlike the classical Borel isomorphism problem, which is reducible to the same problem on zerodimensional Souslin spaces, the secondlevel Borel isomorphism problem is inescapably tied to infinitedimensional topology [Reference van Mill64], since all transfinitedimensional uncountable Polish spaces are mutually secondlevel Borel isomorphic.
The study of $\sigma $ homeomorphic maps in topological dimension theory dates back to a classical work by Hurewicz–Wallman [Reference Hurewicz and Wallman22] characterising transfinite dimensionality. Alexandrov [Reference Aleksandrov2] asked whether there exists a weakly infinitedimensional compactum which is not $\sigma $ homeomorphic to the real line. Roman Pol [Reference Pol49] solved this problem by constructing such a compactum. Roman Pol’s compactum is known to satisfy a slightly stronger covering property, called property C [Reference Addis and Gresham1].
Our notion of degree spectrum on Polish spaces serves as an invariant under secondlevel Borel isomorphism. Indeed, an invariant which we call degree cospectrum, a collection of Turing ideals realised as lower Turing cones of points of a Polish space, plays a key role in solving the secondlevel Borel isomorphism problem. By utilising these computabilitytheoretic concepts, we will construct a continuum many pairwise incomparable $\sigma $ homeomorphism types of compact metrisable Cspaces; that is:
There is a collection $(\mathbf {X}_{\alpha })_{\alpha <2^{\aleph _{0}}}$ of continuum many compact metrisable Cspaces such that, whenever $\alpha \not =\beta $ , $\mathbf {X}_{\alpha }$ cannot be written as a countable union of homeomorphic copies of subspaces of $\mathbf {X}_{\beta }$ .
This also shows that there are continuum many secondlevel Borel isomorphism types of compact metric spaces. More generally, a finitelevel Borel embedding of $\mathbf {X}$ into $\mathbf {Y}$ is an nthlevel Borel isomorphism between $\mathbf {X}$ and a subset of $\mathbf {Y}$ of finite Borel rank for some $n\in \mathbb {N}$ . Then, our result entails the following as a corollary:
There is a collection $(\mathbf {X}_{\alpha })_{\alpha <2^{\aleph _{0}}}$ of continuum many compact metrisable Cspaces such that, whenever $\alpha \not =\beta $ , $\mathbf {X}_{\alpha }$ cannot be finitelevel Borel embedded into $\mathbf {X}_{\beta }$ .
The key idea is measuring the quantity of all possible Scott ideals realised within the degree cospectrum of a given space. Our spaces are completely described in the terminology of computability theory (based on Miller’s work on the continuous degrees [Reference Miller37]). Nevertheless, the first of our examples turns out to be secondlevel Borel isomorphic to (the sum of countably many copies of) Roman Pol’s compactum (but, of course, our remaining continuum many examples cannot be secondlevel Borel isomorphic to Pol’s compactum). Hence, our solution can also be viewed as a refinement of Roman Pol’s solution to Alexandrov’s problem.
Summary of Results
In Section 3, we introduce the notion of point degree spectrum and clarify the relationship with $\sigma $ continuity. In Section 4, we introduce the notion of an $\omega $ leftcomputably enumerable inandabove (CEA) operator (see Section 4.2) in the Hilbert cube as an infinitedimensional analogue of an $\omega $ CEA operator (in the sense of classical computability theory) and show that the graph of a universal $\omega $ leftCEA operator is an individual counterexample to Problems 1.1, 1.2 and 1.3. In Section 5, we describe a general procedure to construct uncountably many mutually different compacta under $\sigma $ homeomorphism. In Section 6, we clarify the relationship between a universal $\omega $ leftCEA operator and Roman Pol’s compactum.
Future work
The methods introduced in this article, in particular the notion of the point degree spectrum and the associated connection between topology and computability theory (recursion theory), have already inspired and enabled several other studies. Some additional results are found in the extended arXiv version [Reference Kihara and Pauly31]. In [Reference Gregoriades, Kihara and Ng17], Gregoriades, Kihara and Ng made significant progress on the decomposability conjecture from descriptive set theory. A core aspect of this work is whether certain degreetheoretic results like the Shore–Slaman join theorem and the cone avoidance theorem for $\Pi ^{0}_{1}$ classes hold for the point degree spectra of Polish spaces.
Building upon our work, Andrews et al. [Reference Andrews, Igusa, Miller and Soskova3] used an effective metrisation argument to show that the point degree spectrum of the Hilbert cube coincides with the almost total enumeration degrees, which in turn is used to show the purely computabilitytheoretic consequence that PA above is definable in the enumeration degrees. Our idea was also utilised by Kihara [Reference Kihara29] to explain the relationship between nontotal continuous degrees and PA degrees in the context of reverse mathematics.
Kihara, Ng and Pauly [Reference Kihara, Ng and Pauly30] have embarked on the systematic endeavour to classify the point degree spectra of secondcountable spaces from Counterexample in Topology [Reference Steen and Seebach63]. This has already proven to be a rich source for the finegrained study of the enumeration degrees, as both previously studied substructures as well as new ones of interest to computability theorists appear in this fashion. Kihara explored the truthtable reducibility variant of our generalised Turing degrees in [Reference Kihara28].
Based on the results both in the present article and in the extension mentioned here, we are confident that both directions of the link between topology and computability theory established here have significant potential for applications. This work can also be considered as part of a general development to study the descriptive theory of represented spaces [Reference Pauly43], together with approaches such as synthetic descriptive set theory proposed in [Reference Pauly and de Brecht45, Reference Pauly and de Brecht46].
2 Preliminaries
2.1 Computability Theory
2.1.1 Basic Notations
We use the standard notations from modern computability theory and computable analysis. We refer the reader to [Reference Odifreddi41, Reference Odifreddi42, Reference Soare61] for the basics on computability theory and to [Reference PourEl and Ian Richards51, Reference Weihrauch65, Reference Pauly44] for the basics on computable analysis.
By $f:\subseteq X\to Y$ , we mean a function from a subset of X into Y. Such a function is called a partial function. We fix a pairing function $(m,n)\mapsto \langle m,n\rangle $ , which is a computable bijection from $\mathbb {N}^{2}$ onto $\mathbb {N}$ such that $\langle m,n\rangle \mapsto m$ and $\langle m,n\rangle \mapsto n$ are also computable. For $x,y\in \mathbb {N}^{\mathbb {N}}$ , the join $x\oplus y\in \mathbb {N}^{\mathbb {N}}$ is defined by $(x\oplus y)(2n)=x(n)$ and $(x\oplus y)(2n+1)=y(n)$ . An oracle is an element of ${\{0, 1\}^{\mathbb {N}}}$ or $\mathbb {N}^{\mathbb {N}}$ . By the notation $\Phi _{e}^{z}$ we denote the computation of the eth Turing machine with oracle z. We often view $\Phi _{e}^{z}$ as a partial function on ${\{0, 1\}^{\mathbb {N}}}$ or $\mathbb {N}^{\mathbb {N}}$ . More precisely, $\Phi _{e}^{z}(x)=y$ if and only if given an input $n\in \mathbb {N}$ with oracle $x\oplus z$ , the eth Turing machine computation halts and outputs $y(n)$ . The terminology ‘c.e.’ stands for ‘computably enumerable.’ For an oracle z, by ‘zcomputable’ and ‘zc.e.’, we mean ‘computable relative to z’ and ‘c.e. relative to z’. For an oracle x, we write $x^{\prime }$ for the Turing jump of x; that is, the halting problem relative to x. Generally, for a computable ordinal $\alpha $ , we use $x^{(\alpha )}$ to denote the $\alpha $ th Turing jump of x. Here, regarding the basics on computable ordinals and transfinite Turing jumps, see [Reference Chong, Yu and Sacks9, Reference Sacks58].
One of the most fundamental observations in computable analysis is that a partial function on the space $\{0,1\}^{\mathbb {N}}$ or $\mathbb {N}^{\mathbb {N}}$ (topologised as the product of the discrete space $\{0,1\}$ or $\mathbb {N}$ ) is continuous if and only if it is computable relative to an oracle (cf. [Reference Weihrauch65]). This fundamental ‘relativisation argument’ will be repeatedly utilised.
We will also use the following fact, known as the Kleene recursion theorem or the Kleene fixed point theorem.
Fact 2.1 (The Kleene Recursion Theorem; see [Reference Odifreddi41, Theorem II.2.10])
Given a computable function $f:\mathbb {N}\to \mathbb {N}$ , one can effectively find an index $e\in \mathbb {N}$ such that for all oracles $z \in {\{0, 1\}^{\mathbb {N}}}$ the partial functions $\Phi _{e}^{z}$ and $\Phi ^{z}_{f(e)}$ are identical.
2.1.2 Represented spaces
A represented space is a pair $\mathbf {X} = (X, \delta _{X})$ of a set X and a partial surjection $\delta _{X} : \subseteq {\mathbb {N}^{\mathbb {N}}} \to X$ . Informally speaking, $\delta _{X}$ (called a representation) gives names of elements in X by using infinite words. It enables tracking of a function f on abstract sets by a function on infinite words (called a realiser of f). This is crucial for introducing the notion of computability on abstract sets because we already have the notion of computability on infinite words.
Formally, a $\delta _{X}$ name or simply a name of $x\in \mathbf {X}$ is any $p\in {\mathbb {N}^{\mathbb {N}}}$ such that $\delta _{X}(p)=x$ . A function between represented spaces is a function between the underlying sets. For $f : \mathbf {X} \to \mathbf {Y}$ and $F : \subseteq {\mathbb {N}^{\mathbb {N}}} \to {\mathbb {N}^{\mathbb {N}}}$ , we call F a realiser of f, iff $\delta _{Y}(F(p)) = f(\delta _{X}(p))$ for all $p \in \operatorname {dom}(f\delta _{X})$ ; that is, if the following diagram commutes:
A map between represented spaces is called computable (continuous), iff it has a computable (continuous) realiser. In other words, a function f is computable (continuous) iff there is a computable (continuous) function F on infinite words such that, given a name p of a point x, $F(p)$ returns a name of $f(x)$ . We also use the same notation $\Phi _{e}^{z}$ to denote a function on represented spaces realised by the eth partial zcomputable function. Similarly, we call a point $x \in \mathbf {X}$ computable, iff there is some computable $p \in {\mathbb {N}^{\mathbb {N}}}$ with $\delta _{X}(p) = x$ ; that is, x has a computable name. In this way, we think of a represented space as a kind of space equipped with the notion of computability.
If a set X is already topologised, the above notion of continuity ( $=$ relative computability, by the fundamental ‘relativisation argument’ mentioned in Subsection 2.1.1) can be inconsistent with topological continuity. To eliminate such an undesired situation, we shall consider a restricted class of representations which are consistent with a given topological structure, socalled admissible representations. An admissible representation is a partial continuous surjection $\delta :\subseteq {\mathbb {N}^{\mathbb {N}}}\to X$ such that for any partial continuous function $f:\subseteq {\mathbb {N}^{\mathbb {N}}}\to X$ there is a partial continuous function $\theta $ on ${\mathbb {N}^{\mathbb {N}}}$ such that $f=\delta \circ \theta $ . We will not go into the details of admissibility here but just mention that if a $T_{0}$ space has a countable csnetwork (a.k.a. a countable sequential pseudobase), then it always has an admissible representation (see Schröder [Reference Schröder59]). Hence, in this article, we can assume that the ‘relativisation argument’ always works.
A particularly relevant subclass of represented spaces are the computable Polish spaces, which are derived from complete computable metric spaces by forgetting the details of the metric and just retaining the representation (or, rather, the equivalence class of representations under computable translations). Forgetting the metric is relevant when it comes to compatibility with definitions in effective descriptive set theory as shown in [Reference Gregoriades, Kispéter and Pauly18].
Example 2.2. The following are examples of admissible representations:

1. The representation of $\mathbb {N}$ is given by $\delta _{\mathbb {N}}(0^{n}10^{\mathbb {N}}) = n$ . It is straightforward to verify that the computability notion for the represented space $\mathbb {N}$ coincides with classical computability over the natural numbers.

2. A computable metric space is a tuple $\mathbf {M} = (M, d, (a_{n})_{n \in \mathbb {N}})$ such that $(M,d)$ is a metric space and $(a_{n})_{n \in \mathbb {N}}$ is a dense sequence in $(M,d)$ such that the relation
$$ \begin{align*} \{(t,u,v,w) \: \: \nu_{\mathbb{Q}}(t) < d(a_{u}, a_{v}) <\nu_{\mathbb{Q}}(w) \}\end{align*} $$is recursively enumerable, where $\nu _{\mathbb {Q}}$ is the standard numbering of the rationals. The Cauchy representation $ \delta _{\mathbf {M}} \: : \subseteq \: {\mathbb {N}^{\mathbb {N}}} \to M $ associated with the computable metric space $ \mathbf {M} = (M, d, (a_{n})_{n \in \mathbb {N}}) $ is defined by$$ \begin{align*} \delta_{\mathbf{M}}(p) = x \: : \: \Longleftrightarrow \begin{cases} d(a_{p(i)}, a_{p(k)}) \leq 2^{i} \text{ for } i < k\\ \text{and } x = \lim\limits_{i\rightarrow \infty}a_{p(i)}. \end{cases} \end{align*} $$ 
3. Another, more general, subclass is the quasiPolish spaces introduced by de Brecht [Reference de Brecht13]. A space X is quasiPolish if it is countably based and has a total admissible representation $\delta _{\mathbf {X}} : {\mathbb {N}^{\mathbb {N}}} \to X$ . These include the computable Polish spaces as well as $\omega $ continuous domains.

4. Generally, a topological $T_{0}$ space $\mathbf {X}$ with a countable base $\mathcal {B}=\langle {B_{n}\rangle }_{n\in \mathbb {N}}$ is naturally represented by defining $\delta _{(\mathbf {X},\mathcal {B})}(p)=x$ iff p enumerates the code of a neighbourhood basis for x; that is, $\text{range}(p)=\{n\in \mathbb {N}:x\in B_{n}\}$ . One can also use a network to give a representation of a space as suggested above.
We always assume that ${\{0, 1\}^{\mathbb {N}}}$ , $\mathbb {R}^{n}$ and $[0,1]^{\mathbb {N}}$ are admissibly represented by the Cauchy representations obtained from their standard metrics.
A real $x\in \mathbb {R}$ is leftc.e. if there is a computable sequence $(q_{n})_{n\in \mathbb {N}}$ of rationals such that $x=\sup _{n}q_{n}$ (cf. [Reference Downey and Hirschfeldt14]). Generally, a real $x\in \mathbb {R}$ is leftc.e. relative to $y\in \mathbf {X}$ if there is a partial computable function $f:\subseteq \mathbf {X}\to \mathbb {Q}^{\mathbb {N}}$ such that $x=\sup _{n}f(y)(n)$ . If $(M,d,(a_{n})_{n\in \mathbb {N}})$ is a computable metric space, there is a computable list $(B_{e})_{e\in \mathbb {N}}$ of open balls of the form $B(a_{n};q)$ , where $B(a_{n};q)$ is the open ball of radius q centred at $a_{n}$ . We say that a set U is c.e. open if there is a c.e. set $W\subseteq \mathbb {N}$ such that $U=\bigcup _{e\in W}B_{e}$ . The complement of a c.e. open set is called $\Pi ^{0}_{1}$ . By $\Pi ^{0}_{1}(z)$ , we mean $\Pi ^{0}_{1}$ relative to an oracle z, whose complement is defined using a zc.e. set W instead of a c.e. set.
2.1.3 Degree structures
The Medvedev degrees $\mathfrak {M}$ [Reference Medvedev36] are a cornerstone of our framework. These are obtained by taking equivalence classes from Medvedev reducibility $\leq _{M}$ , defined on subsets A, B of Baire space ${\mathbb {N}^{\mathbb {N}}}$ via $A \leq _{M} B$ iff there is a partial computable function $F :\subseteq {\mathbb {N}^{\mathbb {N}}} \to {\mathbb {N}^{\mathbb {N}}}$ such that $B\subseteq \mathrm{dom}(F)$ and $F[B]\subseteq A$ . Important substructures of $\mathfrak {M}$ also relevant to us are the Turing degrees $\mathcal {D}_{T}$ , the continuous degrees $\mathcal {D}_{r}$ and the enumeration degrees $\mathcal {D}_{e}$ ; these satisfy $\mathcal {D}_{T} \subsetneq \mathcal {D}_{r} \subsetneq \mathcal {D}_{e} \subsetneq \mathfrak {M}$ .
Turing degrees are obtained from the usual Turing reducibility $\leq _{\mathrm {T}} $ defined on points $p, q \in {\mathbb {N}^{\mathbb {N}}}$ with $p \leq _{\mathrm {T}} q$ iff there is a computable function $F : \subseteq {\mathbb {N}^{\mathbb {N}}} \to {\mathbb {N}^{\mathbb {N}}}$ with $F(q) = p$ . We thus see $p \leq _{\mathrm {T}} q \Leftrightarrow \{p\} \leq _{M} \{q\}$ and can indeed understand the Turing degrees to be a subset of the Medvedev degrees. The continuous degrees were introduced by Miller in [Reference Miller37]. Enumeration degrees have received a lot of attention in computability theory and were originally introduced by Friedberg and Rogers [Reference Friedberg and Rogers16] (see also [Reference Odifreddi42, Chapter XIV]). In both cases, we can provide a simple definition directly as a substructure of the Medvedev degrees later on.
A further reducibility notion is relevant, although we are not particularly interested in its degree structure. This is Muchnik reducibility $\leq _{w}$ [Reference Mučnik40], defined again for sets $A, B \subseteq {\mathbb {N}^{\mathbb {N}}}$ via $A \leq _{w} B$ iff, for any $p \in B$ , there is $q \in A$ such that $q \leq _{\mathrm {T}} p$ . Clearly, $A \leq _{M} B$ implies $A \leq _{w} B$ , but the converse is false in general.
2.2 Topology and Dimension
2.2.1 Isomorphism and Classification
We are now interested in isomorphisms of a particular kind; this always means a bijection in that function class, such that the inverse is also in that function class. For instance, consider the following morphisms. For a function $f:\mathbf {X}\to \mathbf {Y}$ ,

1. f is $\sigma $ computable ( $\sigma $ continuous, respectively) if there are sets $(X_{n})_{n \in \mathbb {N}}$ such that $\mathbf {X} = \bigcup _{n \in \mathbb {N}} X_{n}$ and each $f_{X_{n}}$ is computable (continuous, respectively)

2. f is $\mathbf {\Gamma }$ piecewise continuous if there are $\mathbf {\Gamma }$ sets $(X_{n})_{n \in \mathbb {N}}$ such that $\mathbf {X} = \bigcup _{n \in \mathbb {N}} X_{n}$ and each $f_{X_{n}}$ is continuous.

3. f is nthlevel Borel measurable if $f^{1}[A]$ is $\mathbf {\Sigma }^{0}_{n+1}$ for every $\mathbf {\Sigma }^{0}_{n+1}$ set $A\subseteq \mathbf {Y}$ .
In particular, f is secondlevel Borel measurable iff $f^{1}[A]$ is $G_{\delta \sigma }$ for every $G_{\delta \sigma }$ set $A\subseteq \mathbf {Y}$ . We also say that f is finitelevel Borel measurable if it is nthlevel Borel measurable for some $n\in \mathbb {N}$ . Note that $\sigma $ continuity is also known as countable continuity. A $\sigma $ homeomorphism is a bijection $f:\mathbf {X}\to \mathbf {Y}$ such that both f and $f^{1}$ are $\sigma $ continuous. Similarly, a $\sigma $ embedding of $\mathbf {X}$ into $\mathbf {Y}$ is a $\sigma $ homeomorphism between $\mathbf {X}$ and a subspace of $\mathbf {Y}$ .
Remark 2.3. Note that if $f:\mathbf {X}\to \mathbf {Y}$ is a $\sigma $ homeomorphism, then f is a countable union of partial homeomorphisms: By definition, we can write f as the union of continuous injections $f_{i}:X_{i}\to \mathbf {Y}$ and, similarly, $f^{1}$ as the union of $g_{j}\colon Y_{j}\to \mathbf {X}$ . Then, the restriction $f_{ij}$ of $f_{i}$ up to $X_{i}\cap g_{j}[Y_{j}]$ is a homeomorphism between $X_{i}\cap g_{j}[Y_{j}]$ and $f_{i}[X_{i}]\cap Y_{j}$ . Clearly, f is the union of $f_{ij}$ s. It is clear that the converse is also true.
By recent results from descriptive set theory (cf. [Reference Gregoriades, Kihara and Ng17, Reference Kihara27, Reference Ros54, Reference Pawlikowski and Sabok47]), we have the following implication for functions on Polish spaces:
The last implication was recently proved by [Reference Ros54, Reference Pawlikowski and Sabok47] and, more recently, an alternative computability theoretic proof was given by [Reference Gregoriades, Kihara and Ng17] using our framework of point degree spectra of Polish spaces.
Observation 2.4. Let $\mathbf {X}$ and $\mathbf {Y}$ be Polish spaces. Then, $\mathbb {N}\times \mathbf {X}$ and $\mathbb {N}\times \mathbf {Y}$ are $\sigma $ homeomorphic if and only if $\mathbb {N}\times \mathbf {X}$ and $\mathbb {N}\times \mathbf {Y}$ are secondlevel Borel isomorphic.
Proof. For the ‘if’ direction, assume that $\mathbf {X}$ and $\mathbf {Y}$ are secondlevel Borel isomorphic; that is, there is a bijection $f\colon \mathbf {X}\to \mathbf {Y}$ such that both f and $f^{1}$ are secondlevel Borel measurable. From the above argument, both f and $f^{1}$ are $\sigma $ continuous and, therefore, f is a $\sigma $ homeomorphism.
To show the ‘only if’ direction, recall (from Remark 2.3) that a $\sigma $ homeomorphism of $\mathbf {X}$ into $\mathbf {Y}$ is a countable union of partial homeomorphisms. Then, note that, by the Lavrentiev theorem (cf. [Reference Kechris26, Theorem 3.9]), every homeomorphism between subsets of Polish spaces can be extended to a homeomorphism between $G_{\delta }$ sets. Therefore, we have homeomorphisms $h_{n}$ between $G_{\delta }$ sets $X_{n}\subseteq \mathbf {X}$ and $Y_{n}\subseteq \mathbf {Y}$ such that $\bigcup _{n}X_{n}=\mathbf {X}$ and $\bigcup _{n}Y_{n}=\mathbf {Y}$ . Then, by defining $h_{n}^{\ast }:X_{n}\setminus \bigcup _{m<n}X_{m}\to \{n\}\times \mathbf {Y}$ with $h^{\ast }_{n}(x)=(n,h_{n}(x))$ , we obtain a $\mathbf {\Delta }^{0}_{3}$ piecewise embedding of $\mathbf {X}$ into $\mathbb {N}\times \mathbf {Y}$ whose image is $\mathbf {\Delta }^{0}_{3}$ . Hence, whenever Polish spaces $\mathbf {X}$ and $\mathbf {Y}$ are $\sigma $ homeomorphic, we get secondlevel Borel embeddings $f:\mathbf {X}\to \mathbb {N}\times \mathbf {Y}$ and $g:\mathbf {Y}\to \mathbb {N}\times \mathbf {X}$ with $\mathbf {\Delta }^{0}_{3}$ images. Then, using a finer version (see [Reference Jayne and Rogers25, Lemma 5.2]) of the Cantor–Bernstein argument, one can construct a secondlevel Borel isomorphism between $\mathbb {N}\times \mathbf {X}$ and $\mathbb {N}\times \mathbf {Y}$ . This verifies our assertion since $\mathbb {N}\simeq \mathbb {N}^{2}$ .
Consequently, the secondlevel Borel isomorphic classification and the $\sigma $ homeomorphic classification of Polish spaces are almost the same. Hence, three classification problems, Problems 1.1, 1.2 and 1.3 in Section 1, are almost equivalent.
Hereafter, for notation, let $\cong $ be computable isomorphism, $\cong ^{\mathfrak {T}}$ continuous isomorphism (i.e., homeomorphism), $\cong _{\sigma }$ isomorphism by $\sigma $ computable functions and $\cong _{\sigma }^{\mathfrak {T}} \sigma $ continuous isomorphism (i.e., $\sigma $ homeomorphism).
For any of these notions, we write $\mathbf {X} \leq \mathbf {Y}$ with the same decorations on $\leq $ if $\mathbf {X}$ is isomorphic to a subspace of $\mathbf {Y}$ (i.e., $\mathbf {X}$ is embedded into $\mathbf {Y}$ ) in that way. If $\mathbf {X} \leq \mathbf {Y}$ holds, but $\mathbf {Y}\leq \mathbf {X}$ does not, then we also write $\mathbf {X} < \mathbf {Y}$ , again with the suitable decorations on $<$ . If neither $\mathbf {X} \leq \mathbf {Y}$ nor $\mathbf {Y} \leq \mathbf {X}$ , we write $\mathbf {X} \  \ \mathbf {Y}$ (again, with the same decorations). Again, the Cantor–Bernstein argument shows the following.
Observation 2.5. Let $\mathbf {X}$ and $\mathbf {Y}$ be represented spaces. Then, $\mathbf {X}\cong _{\sigma }\mathbf {Y}$ if and only if $\mathbf {X}\leq _{\sigma }\mathbf {Y}$ and $\mathbf {Y}\leq _{\sigma }\mathbf {X}$ .
2.2.2 Topological Dimension theory
As a general source for topological dimension theory, we point to Engelking [Reference Engelking15]. See also van Mill [Reference van Mill64] for infinitedimensional topology. A topological space $\mathbf {X}$ is countable dimensional if it can be written as a countable union of finitedimensional subspaces. Recall that a Polish space is countable dimensional if and only if it is transfinite dimensional; that is, its transfinite small inductive dimension is less than $\omega _{1}$ (see [Reference Hurewicz and Wallman22, pp. 50–51]). One can see that a Polish space $\mathbf {X}$ is countable dimensional if and only if $\mathbf {X}\leq _{\sigma }^{\mathfrak {T}}{\{0, 1\}^{\mathbb {N}}}$ .
To investigate the structure of uncountable dimensional spaces, Alexandrov introduced the notion of weakly/strongly infinitedimensional space. We say that C is a separator (usually called a partition in dimension theory) of a pair $(A,B)$ in a space $\mathbf {X}$ if there are two pairwise disjoint open sets $A^{\prime }\supseteq A$ and $B^{\prime }\supseteq B$ such that $A^{\prime }\sqcup B^{\prime }=\mathbf {X}\setminus C$ . A family $\{(A_{i},B_{i})\}_{i\in \Lambda }$ of pairwise disjoint closed sets in $\mathbf {X}$ is essential if whenever $C_{i}$ is a separator of $(A_{i},B_{i})$ in $\mathbf {X}$ for every $i\in \mathbb {N}$ , $\bigcap _{i\in \mathbb {N}}C_{i}$ is nonempty. An infinitedimensional space X is said to be strongly infinitedimensional if it has an essential family of infinite length. Otherwise, X is said to be weakly infinitedimensional.
We also consider the following covering property for topological spaces. Let $\mathcal {O}[{\mathbf {X}}]$ be the collection of all open covers of a topological space $\mathbf {X}$ and $\mathcal {O}_{2}[{\mathbf {X}}]=\{\mathcal {U}\in \mathcal {O}[X] : \mathcal {U}=2\}$ ; that is, the collection of all covers by two open sets. For $\mathcal {A},\mathcal {B}\in \{\mathcal {O}_{2},\mathcal {O}\}$ , we write $\mathbf {X}\in \mathcal {S}_{c}(\mathcal {A},\mathcal {B})$ if and only if for any sequence $(\mathcal {U}_{n})_{n\in \mathbb {N}}\in \mathcal {A}[\mathbf {X}]^{\mathbb {N}}$ , there is a sequence $(\mathcal {V}_{n})_{n\in \mathbb {N}}$ of pairwise disjoint open sets such that $\mathcal {V}_{n}$ refines $\mathcal {U}_{n}$ for each $n\in \mathbb {N}$ and $\bigcup _{n\in \mathbb {N}}\mathcal {V}_{n}\in \mathcal {B}[\mathbf {X}]$ .
Note that a topological space $\mathbf {X}$ is weakly infinitedimensional if and only if $\mathbf {X}\in \mathcal {S}_{c}(\mathcal {O}_{2},\mathcal {O})$ . We say that $\mathbf {X}$ is a Cspace [Reference Addis and Gresham1] or selectively screenable [Reference Babinkostova4] if $\mathbf {X}\in \mathcal {S}_{c}(\mathcal {O},\mathcal {O})$ . For a topological property $\mathcal {P}$ , we say that $\mathbf {X}$ is hereditarily $\mathcal {P}$ if every subspace of $\mathbf {X}$ is $\mathcal {P}$ . We have the following implications:
Alexandrov’s old problem was whether there exists a weakly infinitedimensional compactum which is not countable dimensional; that is, $\mathbf {X}>_{\sigma }^{\mathfrak {T}}{\{0, 1\}^{\mathbb {N}}}$ . This problem was solved by R. Pol [Reference Pol49] by constructing a compact metrisable space of the form $R\cup L$ for a strongly infinitedimensional totally disconnected subspace R and a countable dimensional subspace L. Such a compactum is a Cspace but not countable dimensional. Namely, R. Pol’s theorem says that there are at least two $\sigma $ homeomorphism types of compact metrisable Cspaces.
There are previous studies on the structure of continuous isomorphism types (Fréchet dimension types) of various kinds of infinitedimensional compacta; for example, strongly infinitedimensional Cantor manifolds (see [Reference Chatyrko7, Reference Chatyrko and Pol8]). For instance, by combining the Baire category theorem and the result by ChatyrkoPol [Reference Chatyrko and Pol8], one can show that there are continuum many firstlevel Borel isomorphism types of strongly infinitedimensional Cantor manifolds. However, there is an enormous gap between first and second level and, hence, such an argument never tells us anything about secondlevel Borel isomorphism types. Concerning weakly infinitedimensional Cantor manifolds, Elżbieta Pol [Reference Pol48] (see also [Reference Chatyrko7]) constructed a compact metrisable Cspace in which no separator of nonempty subspaces can be hereditarily weakly infinitedimensional. We call such a space a Poltype Cantor manifold.
3 Point Degree Spectra
3.1 Generalised Turing Reducibility
Recall that the notion of a represented space involves the notion of computability. More precisely, every point in a represented space is coded by an infinite word, called a name. Then, we estimate how complicated a given point is by considering the degree of difficulty of calling a name of the point. Of course, it is possible for each point to have many names, and this feature yields the phenomenon that there is a point with no easiest names with respect to Turing degree.
Formally, we associate analogies of Turing reducibility and Turing degrees with an arbitrary represented space in the following manner.
Definition 3.1. Let $\mathbf {X}$ and $\mathbf {Y}$ be represented spaces. We say that $y\in \mathbf {Y}$ is pointTuring reducible to $x\in \mathbf {X}$ if there is a partial computable function $f:\subseteq \mathbf {X}\to \mathbf {Y}$ such that $f(x)=y$ . In other words, the set $\delta ^{1}_{Y}(y)$ of names of y is Medvedev reducible to the set $\delta ^{1}_{X}(x)$ of names of x. In this case, we write $y^{\mathbf {Y}}\leq _{\mathrm {T}} x^{\mathbf {X}}$ , or simply $y\leq _{\mathrm {T}} x$ .
Roughly speaking, by the condition $y\leq _{\mathrm {T}} x$ we mean that if one knows a name of x, one can compute a name of y, in a uniform manner. This preordering relation $\leq _{\mathrm {T}}$ clearly yields an equivalence relation $\equiv _{\mathrm {T}}$ on points $x^{\mathbf {X}}$ of represented spaces, and we then call each equivalence class $[x^{\mathbf {X}}]_{\equiv _{\mathrm {T}}}$ the pointTuring degree of $x\in \mathbf {X}$ , denoted by $\deg (x^{\mathbf {X}})$ . In other words,
Then, we introduce the notion of point degree spectrum of a represented space as follows.
Definition 3.2. For a represented space $\mathbf {X}$ , define
We call $\mathrm{Spec}(\mathbf {X})$ the point degree spectrum of $\mathbf {X}$ . Given an oracle p, we also define the prelativised point degree spectrum by replacing a partial computable function in Definition 3.1 with a partial pcomputable function. Equivalently, define $\deg ^{p}(x^{\mathbf {X}})=[\{p\}\times \delta ^{1}_{\mathbf {X}}(x)]_{\equiv _{M}}$ and $\mathrm{Spec}^{p}(\mathbf {X})=\{\deg ^{p}(x^{\mathbf {X}}):x\in \mathbf {X}\}$ .
Clearly, one can identify the Turing degrees $\mathcal {D}_{T}$ , the continuous degrees $\mathcal {D}_{r}$ and the enumeration degrees $\mathcal {D}_{e}$ with degree spectra of some spaces as follows:

○ $\mathrm{Spec}({\{0, 1\}^{\mathbb {N}}}) = \mathrm{Spec}({\mathbb {N}^{\mathbb {N}}}) = \mathrm{Spec}(\mathbb {R}) = \mathcal {D}_{T}$ ,

○ (Miller [Reference Miller37]) $\mathrm{Spec}({[0, 1]}^{\mathbb {N}}) = \mathrm{Spec}(\mathcal {C}({[0, 1]},{[0, 1]})) = \mathcal {D}_{r}$ ,

○ $\mathrm{Spec}(\mathcal {O}(\mathbb {N})) = \mathcal {D}_{e}$ , where $\mathcal {O}(\mathbb {N})$ is the space of all subsets of $\mathbb {N}$ where a basic open set is the set of all supersets of a finite subset of $\mathbb {N}$ . Note that $\mathcal {O}(\mathbb {N})$ is (computably) homeomorphic to $\mathbb {S}^{\mathbb {N}}$ , where $\mathbb {S}$ is the Sierpiński space.
As any separable metric space embeds into the Hilbert cube ${[0, 1]}^{\mathbb {N}}$ , we find in particular that $\mathrm{Spec}(\mathbf {X}) \subseteq \mathcal {D}_{r}$ for any computable metric space $\mathbf {X}$ . As any secondcountable $T_{0}$ space embeds into the Scott domain $\mathcal {O}(\mathbb {N})$ , we also have that $\mathrm{Spec}(\mathbf {X}) \subseteq \mathcal {D}_{e}$ for any computable secondcountable $T_{0}$ space $\mathbf {X}$ . In the latter case, the point degree of $x\in \mathbf {X}$ corresponds to the enumeration degree of neighbourhood basis as in Example 2.2 (4). The Turing degrees will be characterised in Subsection 3.2 in the context of topological dimension theory.
In computable model theory, the degree spectrum of a countable structure S is defined as the collection of Turing degrees of isomorphic copies of S coded in $\mathbb {N}$ (see [Reference Hirschfeldt, Khoussainov, Shore and Slinko21, Reference Richter53]). The notion of degree spectrum on a cone (i.e., degree spectrum relative to an oracle) also plays an important role in (computable) model theory (see [Reference Montalbán38, Reference Montalbán39]). One can define the space of countable structures as done in invariant descriptive set theory; however, from this perspective, a countable structure is a point and, therefore, the degree spectrum of a structure corresponds to the degree spectrum of a point rather than that of a space.
Given a point $x\in \mathbf {X}$ , we define $\mathrm{Spec}(x^{\mathbf {X}})$ as the set of all oracles $z\in \{0,1\}^{\mathbb {N}}$ which can compute a name of x and $\mathrm{Spec}^{p}(x^{\mathbf {X}})$ as its relativisation by an oracle $p\in \{0,1\}^{\mathbb {N}}$ . Then, the weak point degree spectrum $\mathrm{Spec}_{w}(\mathbf {X})$ is the collection of all degree spectra of points of $x\in \mathbf {X}$ and $\mathrm{Spec}^{p}_{w}(\mathbf {X})$ is its relativisation by an oracle p; that is,
Note that this notion can be described in terms of Muchnik reducibility [Reference Mučnik40]; that is, we can think of the degree spectrum of $x\in \mathbf {X}$ as
Observation 3.3. If $\mathbf {X}$ and $\mathbf {Y}$ are admissibly represented secondcountable $T_{0}$ spaces, then there is an oracle p such that for all $q\geq _{T}p$ ,
Proof. It is known that enumeration reducibility coincides with its nonuniform version (see [Reference Selman60] or [Reference Miller37, Theorem 4.2]); that is, for $A,B\subseteq \mathbb {N}$ , the condition $A\leq _{e}B$ is equivalent to the following: For any $Z\in {\{0, 1\}^{\mathbb {N}}}$ , if B is Zc.e., then A is also Zc.e. In our terminology, for $\mathbf {C}={\{0, 1\}^{\mathbb {N}}}$ and $\mathbf {D}=\mathcal {O}(\mathbb {N})$ , the abovementioned equivalence says that for any $a,b\in \mathbf {D}$ ,
In particular, $a^{\mathbf {D}}\equiv _{\mathrm {T}} b^{\mathbf {D}}$ if and only if $\mathrm{Spec}(b^{\mathbf {D}})=\mathrm{Spec}(a^{\mathbf {D}})$ . Let $\mathbf {X}$ and $\mathbf {Y}$ be subspaces of $\mathbf {D}$ . Note that $\mathrm{Spec}(\mathbf {X})\subseteq \mathrm{Spec}(\mathbf {Y})$ iff for any $x\in \mathbf {X}$ there is $y\in \mathbf {Y}$ such that $x^{\mathbf {X}}\equiv _{\mathrm {T}} y^{\mathbf {Y}}$ . Since $x^{\mathbf {X}}\equiv _{\mathrm {T}} y^{\mathbf {Y}}$ is equivalent to $\mathrm{Spec}(x^{\mathbf {X}})=\mathrm{Spec}(y^{\mathbf {Y}})$ , we get that $\mathrm{Spec}_{w}(\mathbf {X})\subseteq \mathrm{Spec}_{w}(\mathbf {Y})$ .
As in Example 2.2 (4), every secondcountable $T_{0}$ space can be embedded into the Scott domain $\mathcal {O}(\mathbb {N})$ . Use the relativisation argument to get an oracle p such that there are pcomputable embeddings of $\mathbf {X}$ and $\mathbf {Y}$ into $\mathcal {O}(\mathbb {N})$ . Then, the desired assertion can be verified by relativising the above argument to any oracle $q\geq _{T}p$ .
3.2 Degree Spectra and Dimension Theory
One of the main tools in our work is the following characterisation of the point degree spectra of represented spaces.
Theorem 3.4. The following are equivalent for admissibly represented spaces $\mathbf {X}$ and $\mathbf {Y}$ :

1. $\mathrm{Spec}^{r}(\mathbf {X})=\mathrm{Spec}^{r}(\mathbf {Y})$ for some oracle $r\in {\{0, 1\}^{\mathbb {N}}}$ .

2. $\mathbb {N}\times \mathbf {X}$ is $\sigma $ homeomorphic to $\mathbb {N}\times \mathbf {Y}$ ; that is, $\mathbb {N}\times \mathbf {X}\cong _{\sigma }^{\mathfrak {T}}\mathbb {N}\times \mathbf {Y}$ .
Moreover, if $\mathbf {X}$ and $\mathbf {Y}$ are Polish, then the following assertions (3) and (4) are also equivalent to the above assertions (1) and (2).

3. $\mathbb {N}\times \mathbf {X}$ is secondlevel Borel isomorphic to $\mathbb {N}\times \mathbf {Y}$ .

4. The Banach algebra $\mathcal {B}_{2}^{*}(\mathbb {N}\times \mathbf {X})$ is linearly isometric (ring isomorphic and so on) to $\mathcal {B}_{2}^{*}(\mathbb {N}\times \mathbf {Y})$ .
One can also see that the following assertions are equivalent:

2^{′}. $\mathbb {N}\times \mathbf {X}$ is $G_{\delta }$ piecewise homeomorphic to $\mathbb {N}\times \mathbf {Y}$ .

3^{′}. $\mathbb {N}\times \mathbf {X}$ is nthlevel Borel isomorphic to $\mathbb {N}\times \mathbf {Y}$ for some $n\geq 2$ .

4^{′}. The Banach algebra $\mathcal {B}_{n}^{*}(\mathbb {N}\times \mathbf {X})$ is linearly isometric (ring isomorphic and so on) to $\mathcal {B}_{n}^{*}(\mathbb {N}\times \mathbf {Y})$ for some $n\geq 2$ .
By Observation 2.4 and its proof, the assertions (2), (2 $^{\prime }$ ) and (3) are equivalent. Obviously, the assertions (3) and (4) imply (3 $^{\prime }$ ) and (4 $^{\prime }$ ), respectively. The equivalence between (3) and (4) (and the equivalence between (3 $^{\prime }$ ) and (4 $^{\prime }$ )) has already been shown by Jayne [Reference Jayne23] for secondcountable (or, more generally, real compact) spaces $\mathbf {X}$ and $\mathbf {Y}$ . Consequently, all assertions from (2) to (4 $^{\prime }$ ) are equivalent.
To see the equivalence between (1) and (2), we characterise the point degree spectra of represented spaces in the context of computable $\sigma $ embedding.
Lemma 3.5. The following are equivalent for represented spaces $\mathbf {X}$ and $\mathbf {Y}$ :

1. $\mathrm{Spec}(\mathbf {X}) \subseteq \mathrm{Spec}(\mathbf {Y})$

2. $\mathbf {X}\leq _{\sigma }\mathbb {N}\times \mathbf {Y}$ ; that is, $\mathbf {X}$ is a countable union of subspaces that are computably isomorphic to subspaces of $\mathbf {Y}$ .
Proof. We first show that the assertion (1) implies (2). By assumption, for any $x \in \mathbf {X}$ we find $x^{\mathbf {X}}\equiv _{M}y_{x}^{\mathbf {Y}}$ for some $y_{x} \in \mathbf {Y}$ . For any $i, j \in \mathbb {N}$ , let $\mathbf {X}_{ij}$ be the set of all points where the reductions are witnessed by $\Phi _{i}$ and $\Phi _{j}$ . More precisely, put $\mathbf {X}_{ij}=\{x\in \mathbf {X}:\Phi _{j}\Phi _{i}(x)=x\}$ , where we recall that $\Phi _{e}$ is a partial function on represented spaces realised by the eth partial computable function. Let $\mathbf {Y}_{ij} = \{\Phi _{i}(x) \mid x \in \mathbf {X}_{ij}\} \subseteq \mathbf {Y}$ . Then $\Phi _{i}$ and $\Phi _{j}$ also witness $\mathbf {X}_{ij} \cong \mathbf {Y}_{ij}$ . Obviously, $\mathbf {X} = \bigcup _{\langle i, j\rangle \in \mathbb {N}} \mathbf {X}_{ij}$ since $x^{\mathbf {X}}\equiv _{M}y_{x}^{\mathbf {Y}}$ is witnessed by some $\Phi _{i}$ and $\Phi _{j}$ ; that is, $\Phi _{i}(x)=y_{x}$ and $\Phi _{j}(y_{x})=x$ . Then, the union of computable homeomorphisms $\mathbf {X}_{ij}\simeq \{\langle i,j\rangle \}\times \mathbf {Y}_{ij}$ gives a $\sigma $ computable embedding of $\mathbf {X}$ into $\mathbb {N}\times \mathbf {Y}$ .
Conversely, the point degree spectrum is preserved by computable isomorphism and, clearly, $\mathrm{Spec}\left (\bigcup _{n \in \mathbb {N}} \mathbf {X}_{n}\right ) = \bigcup _{n \in \mathbb {N}} \mathrm{Spec}(\mathbf {X}_{n})$ , so the claim follows.
Proof of Theorem 3.4 (1) $\Leftrightarrow $ (2)
It follows from relativisations of Lemma 3.5 and Observation 2.5. Here, it is easy to see that the assertion (2) is equivalent to $\mathbb {N}\times \mathbf {X}\leq _{\sigma }\mathbb {N}\times \mathbf {Y}$ .
This simple argument completely solves a mystery about the occurrence of nonTuring degrees in proper infinitedimensional spaces. Concretely speaking, by relativising Lemma 3.5, we can characterise the Turing degrees in terms of topological dimension theory as follows.Footnote ^{1}
Corollary 3.6. The following are equivalent for a separable metrisable space $\mathbf {X}$ endowed with an admissible representation:

1. $\mathrm{Spec}^{p}(\mathbf {X}) \subseteq \mathcal {D}_{T}$ for some oracle $p\in {\{0, 1\}^{\mathbb {N}}}$

2. $\mathbf {X}$ is countable dimensional.
By a dimensiontheoretic fact (see Subsection 2.2.2), if $\mathbf {X}$ is Polish, transfinite dimensionality is also equivalent to the condition for $\mathbf {X}$ in which any point has a Turing degree relative to some oracle.
By definition, $\mathrm{Spec}(\mathbf {X})$ can be considered as a degree structure (i.e., a substructure of the enumeration degrees or the Medvedev degrees). Hence, by Theorem 3.4, $\sigma $ homeomorphic classification can be viewed as a kind of degree theory dealing with the order structure on degree structures (on a cone). Thus, from the viewpoint of degree theory, it is natural to ask whether Post’s problem (of whether there is an intermediate degree structure strictly between the bottom ${\{0, 1\}^{\mathbb {N}}}$ and the top $[0,1]^{\mathbb {N}}$ ), the Friedberg–Muchnik theorem (there is a pair of incomparable degree structures), the Sacks density theorem (given two comparable, but different, degree structures, there is an intermediate degree structure strictly between them) and so on are true for the order of degree structures of uncountable Polish spaces.
More details of the structure of degree spectra of Polish spaces will be investigated in Sections 4 and 5.
4 Intermediate Point Degree Spectra
4.1 Intermediate Polish Spaces
In this section, we investigate the structure of $\sigma $ homeomorphic types or, (almost) equivalently, point degree spectra (up to relativisation) of uncountable Polish spaces.
It is wellknown that for every uncountable Polish space X:
where, recall that $\leq _{c}^{\mathfrak {T}}$ is the topological embeddability relation (i.e., the ordering of Fréchet dimension types). In this section, we focus on Problem 1.3 asking whether there exists a Polish space $\mathbf {X}$ satisfying the following:
One can see that there is no difference between the structures of $\sigma $ homeomorphism types of uncountable Polish spaces and uncountable compact metric spaces.
Fact 4.1. Every Polish space is $\sigma $ homeomorphic to a compact metrisable space.
Proof. If a pair of countable spaces has the same cardinality, then they are clearly $\sigma $ homeomorphic. Moreover, there are compact metrisable spaces of all countable cardinalities.
So let $\mathbf {X}$ be an uncountable Polish space. Lelek [Reference Lelek34] showed that every Polish space $\mathbf {X}$ has a compactification $\gamma \mathbf {X}$ such that $\gamma \mathbf {X}\setminus \mathbf {X}$ is countable dimensional. Clearly, $\mathbf {X}\leq _{c}\gamma \mathbf {X}$ . Then, we have $\gamma \mathbf {X}\setminus \mathbf {X}\leq _{\sigma }^{\mathfrak {T}}{\{0, 1\}^{\mathbb {N}}}\leq _{\sigma }^{\mathfrak {T}}\mathbf {X}$ , since $\mathbf {X}$ is uncountable Polish and $\gamma \mathbf {X}\setminus \mathbf {X}$ is countable dimensional. Consequently, $\mathbf {X},\gamma \mathbf {X}\setminus \mathbf {X}\leq _{\sigma }^{\mathfrak {T}}\mathbf {X}$ , and this implies $\gamma \mathbf {X}=\mathbf {X}\cup (\gamma \mathbf {X}\setminus \mathbf {X})\leq _{\sigma }^{\mathfrak {T}}\mathbf {X}$ .
4.2 The Graph Space of a Universal $\omega $ LeftCEA Operator
Now, we provide a concrete example having an intermediate degree spectrum. We say that a point $(r_{n})_{n\in \mathbb {N}}\in [0,1]^{\mathbb {N}}$ is $\omega $ leftCEA in $x\in {\mathbb {N}^{\mathbb {N}}}$ if $r_{n+1}$ is leftc.e. in $\langle x,r_{0},r_{1},\dots ,r_{n}\rangle $ uniformly in $n\in \mathbb {N}$ . In other words, there is a computable function $\Psi :{\mathbb {N}^{\mathbb {N}}}\times [0,1]^{<\omega }\times \mathbb {N}^{2}\to \mathbb {Q}_{\geq 0}$ such that
for every $x,n,s$ , where $\mathbb {Q}_{\geq 0}$ denotes the set of all nonnegative rationals. If, moreover, we have $r_{0}\geq _{M}x$ , then we say that $(r_{n})_{n\in \mathbb {N}}$ is $\omega $ leftCEA over $x\in {\mathbb {N}^{\mathbb {N}}}$ .
Whenever $r_{n}\in [0,1]$ for all $n\in \mathbb {N}$ , such a computable function $\Psi $ generates an operator $J_{\Psi }^{\omega }:{\mathbb {N}^{\mathbb {N}}}\to [0,1]^{\mathbb {N}}$ with $J_{\Psi }^{\omega }(x)=(x,r_{0},r_{1},\dots )$ , which is called an $\omega $ leftCEA operator. An $\omega $ leftCEA operator $J^{\omega }$ is universal if for any $\omega $ leftCEA operator J, there is $e\in \mathbb {N}$ such that $J^{\omega }(\langle e,x\rangle )=J(x)$ .
Proposition 4.2. A universal $\omega $ leftCEA operator exists.
Proof. We first give an effective enumeration $(J^{\omega }_{e})_{e\in \mathbb {N}}$ of all $\omega $ leftCEA operators. It is not hard to see that $y\in [0,1]$ is leftc.e. in $x\in {\mathbb {N}^{\mathbb {N}}}\times [0,1]^{k}$ if and only if there is a c.e. set $W\subseteq \mathbb {N}\times \mathbb {Q}$ such that
where $B_{i}^{k}$ is the ith rational open ball in ${\mathbb {N}^{\mathbb {N}}}\times [0,1]^{k}$ . Thus, we have an effective enumeration of all leftc.e. operators $J:{\mathbb {N}^{\mathbb {N}}}\times [0,1]^{k}\rightarrow [0,1]$ by putting $J^{k}_{e}=J^{k}_{W_{e}}$ , where $W_{e}$ is the eth c.e. subset of $\mathbb {N}\times \mathbb {Q}$ . Then, we define
that is, $J^{\omega }_{e}$ is the $\omega $ leftCEA operator generated by the uniform sequence $(J^{k}_{\langle e,k\rangle })_{k\in \mathbb {N}}$ of leftc.e. operators. Clearly, $(J^{\omega }_{e})_{e\in \mathbb {N}}$ is an effective enumeration of all $\omega $ leftCEA operators. Then, define $J^{\omega }(\langle e,x\rangle )=J^{\omega }_{e}(x)$ . It is not hard to check that $J^{\omega }$ is a universal $\omega $ leftCEA operator.
Definition 4.3. The $\omega $ leftcomputably enumerable inandabove space $\omega \mathbf {CEA}$ is a subspace of $\mathbb {N}\times {\{0, 1\}^{\mathbb {N}}}\times [0,1]^{\mathbb {N}}$ defined by
Note that in classical recursion theory, an operator $\Psi $ is called a CEAoperator (also known as an REAoperator, a pseudojump, or a hop) if there is a c.e. procedure W such that $\Psi (A)=\langle {A,W(A)\rangle }$ for any $A\subseteq \mathbb {N}$ (see Odifreddi [Reference Odifreddi42, Chapters XII and XIII]). An $\omega $ CEA operator (also called an $\omega $ hop) is the $\omega $ th iteration of a uniform sequence of CEAoperators. In general, computability theorists have studied $\alpha $ CEA operators for computable ordinals $\alpha $ in the theory of $\Pi ^{0}_{2}$ singletons. We will also use a generalisation of the notion of a $\Pi ^{0}_{2}$ singleton in Section 5.
We say that a continuous degree is $\omega $ leftCEA if it contains a point $r\in [0,1]^{\mathbb {N}}$ which is $\omega $ leftCEA over an oracle $z\in {\{0, 1\}^{\mathbb {N}}}$ . The point degree spectrum of the space $\mathbf {\omega CEA}$ (as a subspace of $[0,1]^{\mathbb {N}}$ ) can be described as follows:
This is because $J^{\omega }_{e}(x)$ is always $\omega $ leftCEA over x and, conversely, if r is $\omega $ leftCEA over x, then by universality of $J^{\omega }$ (Proposition 4.2) there is e such that $J_{e}^{\omega }(x)=(x,r)$ , which is equivalent to r as $x\leq _{\mathrm {T}} r$ . Clearly,
The following is an analog of the wellknown fact from classical computability theory that every $\omega $ CEA set is a $\Pi ^{0}_{2}$ singleton (see Odifreddi [Reference Odifreddi42, Proposition XIII.2.7]).
Lemma 4.4. The $\omega $ leftCEA space $\mathbf {\omega CEA}$ is Polish.
Proof. It suffices to show that $\mathbf {\omega CEA}$ is $\Pi ^{0}_{2}$ (hence $G_{\delta }$ ) in ${\mathbb {N}^{\mathbb {N}}}\times [0,1]^{\mathbb {N}}$ since a $G_{\delta }$ subset of a Polish space is Polish. The stage s approximation to $J_{e}^{k}$ is denoted by $J_{e,s}^{k}$ ; that is, $J_{e,s}^{k}(z)=\max \{\min \{p,1\}:(\exists \langle i,p\rangle \in W_{e,s})\;z\in B_{i}^{k}\}$ , where $W_{e,s}$ is the stage s approximation to the eth computably enumerable set $W_{e}$ . Note that the function $(e,s,k,z)\mapsto J_{e,s}^{k}(z)$ is computable. We can easily see that $(e,x,r)\in \mathbf {\omega CEA}$ if and only if
where d is the Euclidean metric on $[0,1]$ and $\pi _{i}$ is the ith projection (i.e., $\pi _{i}(r)=r_{i}$ for $r=(r_{j})_{j\in \mathbb {N}}$ ). The above formula is clearly $\Pi ^{0}_{2}$ .
We devote the rest of this section to a proof of the following theorem.
Theorem 4.5. The space $\mathbf {\omega CEA}$ has an intermediate $\sigma $ homeomorphism type; that is,
Consequently, the space $\mathbf {\omega CEA}$ is a concrete counterexample to Problem 1.3.
4.3 Proof of Theorem 4.5
The key idea is to measure how similar the space $\mathbf {X}$ is to a zerodimensional space by approximating each point in a space $\mathbf {X}$ by a zerodimensional space. Recall from (the proof of) Observation 3.3 that, for points in represented spaces which computably embed into $\mathcal {O}(\mathbb {N})$ , there is a onetoone correspondence between the pointTuring degree $\deg (x)=[x]_{\equiv _{M}}$ and the spectrum $\mathrm{Spec}(x)$ . Via this correspondence, the pointTuring degree $\deg (x)$ of a point $x\in \mathbf {X}$ can be identified with its Turing upper cone; that is,
We think of the spectrum $\mathrm{Spec}(x)$ as the upper approximation of $x\in \mathbf {X}$ by the zerodimensional space ${\{0, 1\}^{\mathbb {N}}}$ . Now, we need the notion of the lower approximation of $x\in \mathbf {X}$ by the zerodimensional space ${\{0, 1\}^{\mathbb {N}}}$ . We introduce the cospectrum of a point $x\in \mathbf {X}$ as its Turing lower cone
and, moreover, we define the degree cospectrum of a represented space $\mathbf {X}$ as follows:
As we will see below, the degree spectrum of a represented space fully determines its cospectrum, while the converse is not true. For every oracle $p\in {\{0, 1\}^{\mathbb {N}}}$ , we may also introduce relativised cospectra $\mathrm{coSpec}^{p}(x)=\{z\in {\{0, 1\}^{\mathbb {N}}}:z\leq _{\mathrm {T}}(x,p)\}$ and the relativised degree cospectra $\mathrm{coSpec}^{p}(\mathbf {X})$ in the same manner.
Observation 4.6. Let $\mathbf {X}$ and $\mathbf {Y}$ be admissibly represented spaces. If $\mathrm{Spec}^{p}(\mathbf {X})\subseteq \mathrm{Spec}^{p}(\mathbf {Y})$ , then we also have $\mathrm{coSpec}^{p}(\mathbf {X})\subseteq \mathrm{coSpec}^{p}(\mathbf {Y})$ .
Therefore, by Theorem 3.4, the cospectrum of an admissibly represented space up to an oracle is invariant under $\sigma $ homeomorphism. Indeed, by relativising Lemma 3.5, one can see that $\mathbf {X}\leq _{\sigma }^{\mathfrak {T}}\mathbf {Y}$ implies $\mathrm{coSpec}^{p}(\mathbf {X})\subseteq \mathrm{coSpec}^{p}(\mathbf {Y})$ for some p.
Proof. Clearly, $[x^{\mathbf {X}}]_{\equiv _{\mathrm {T}}}=[y^{\mathbf {Y}}]_{\equiv _{\mathrm {T}}}$ implies that $\{z\in {\{0, 1\}^{\mathbb {N}}}:z\leq _{\mathrm {T}} x^{\mathbf {X}}\}=\{z\in {\{0, 1\}^{\mathbb {N}}}:z\leq _{\mathrm {T}} y^{\mathbf {Y}}\}$ . This observation can be relativised to any oracle p. This verifies the first assertion.
We say that a collection $\mathcal {I}$ of subsets of $\mathbb {N}$ is realised as the cospectrum of x if $\mathrm{coSpec}(x)=\mathcal {I}$ . A countable set $\mathcal {I}\subseteq \mathcal {P}(\mathbb {N})$ is a Scott ideal if it is the standard system of a countable nonstandard model of Peano arithmetic or, equivalently, a countable $\omega $ model of the theory ${\sf WKL}_{0}$ . We will not go into the details of a Scott ideal (see Miller [Reference Miller37, Section 9] for a more explicit definition); we will only use the fact that every jump ideal is a Scott ideal. Here, a jump ideal $\mathcal {I}$ is a collection of subsets of natural numbers which is closed under the join $\oplus $ , downward Turing reducibility $\leq _{\mathrm {T}}$ and the Turing jump; that is, $p,q\in \mathcal {I}$ implies $p\oplus q\in \mathcal {I}$ ; $p\leq _{\mathrm {T}} q\in \mathcal {I}$ implies $p\in \mathcal {I}$ ; and $p\in \mathcal {I}$ implies $p^{\prime }\in \mathcal {I}$ . Miller [Reference Miller37, Theorem 9.3] showed that every countable Scott ideal (hence, every countable jump ideal) is realised as a cospectrum in $[0,1]^{\mathbb {N}}$ .
Example 4.7. The spectra and cospectra of Cantor space ${\{0, 1\}^{\mathbb {N}}}$ , the space $\omega \mathrm{CEA}$ and the Hilbert cube $[0,1]^{\mathbb {N}}$ are illustrated as follows (see also Figure 1):

1. The cospectrum $\mathrm{coSpec}(x)$ of any point $x\in {\{0, 1\}^{\mathbb {N}}}$ is principal and meets with $\mathrm{ Spec}(x)$ exactly at $\deg _{T}(x)$ . The same is true up to some oracle for an arbitrary Polish spaces $\mathbf {X}$ such that $\mathbf {X}\cong _{\sigma }^{\mathfrak {T}}{\{0, 1\}^{\mathbb {N}}}$ .

2. For any point $z\in \omega \mathbf {CEA}$ , the ‘distance’ between $\mathrm{Spec}(z)$ and $\mathrm{coSpec}(z)$ has to be at most the $\omega $ th Turing jump (see the proof of Theorem 4.5 below).

3. (Miller [Reference Miller37, Theorem 9.3]) An arbitrary countable Scott ideal is realised as $\mathrm{coSpec}(y)$ of some point $y\in [0,1]^{\mathbb {N}}$ . Hence, $\mathrm{Spec}(y)$ and $\mathrm{coSpec}(y)$ can be separated by an arbitrary distance. (Consider countable Scott ideals closed under the $\alpha $ th Turing jump, the hyperjump, the $\Delta ^{1}_{n}$ jump, etc.)
This upper/lower approximation method clarifies the differences of $\sigma $ homeomorphism types of spaces because both relativised pointdegree spectra and cospectra are invariant under $\sigma $ homeomorphism by Theorem 3.4 and Observation 4.6.
Proof of Theorem 4.5
We first show that $\omega \mathbf {CEA}<_{\sigma }^{\mathfrak {T}}[0,1]^{\mathbb {N}}$ . This follows from the following claim: For any oracle $p\in {\{0, 1\}^{\mathbb {N}}}$ , there is a countable Scott ideal which cannot be realised as a pcospectrum of an $\omega $ leftCEA continuous degree.
To see this, let $y=(e,x,r)\in \omega \mathbf {CEA}$ be an arbitrary point. Clearly, $x\leq _{\mathrm {T}}(e,x,r)$ , and this means that $x\in \mathrm{coSpec}(y)$ since $x\in {\{0, 1\}^{\mathbb {N}}}$ . However, as $r=(r_{n})_{n\in \mathbb {N}}$ is $\omega $ leftCEA in x, we know that $r_{0}$ is c.e. in x (so computable in the Turing jump of x) and $r_{n+1}$ is c.e. in $(x,r_{0},\dots ,r_{n})$ . By induction, this implies that $r_{n}$ is computable in the $(n+1)$ th jump of x uniformly in n and, therefore, r is computable in the $\omega $ th jump of x; hence, $y=(e,x,r)\leq _{\mathrm {T}} x^{(\omega )}$ ; that is, $x^{(\omega )}\in \mathrm{Spec}(y)$ . In particular, $\mathrm{coSpec}(y)$ does not contain the $(\omega +1)$ st Turing jump of the second entry x of given any $y\in \omega \mathbf {CEA}$ . Thus, for any oracle p, the jump ideal $\mathcal {A}^{p}=\{x\in {\{0, 1\}^{\mathbb {N}}}:(\exists n\in \mathbb {N})\;x\leq _{\mathrm {T}} p^{(\omega \cdot n)}\}$ cannot be realised as a cospectrum in $\omega \mathbf {CEA}$ . This verifies the claim.
By the above claim and Miller’s result on Scott ideals mentioned in Example 4.7 (3), we have $\mathrm{coSpec}^{p}(\omega \mathbf {CEA})\subsetneq \mathrm{coSpec}^{p}([0,1]^{\mathbb {N}})$ for any oracle p. Therefore, by Theorem 3.4 and Observation 4.6, we conclude that the $\omega $ leftCEA space is not $\sigma $ homeomorphic to the Hilbert cube; that is, $\omega \mathbf {CEA}<_{\sigma }^{\mathfrak {T}}[0,1]^{\mathbb {N}}$ .
We next show ${\{0, 1\}^{\mathbb {N}}}<_{\sigma }^{\mathfrak {T}}\mathbf {\omega CEA}$ . In other words, we have to show that the $\omega $ leftCEA space is not countabledimensional. For a compact set $P\subseteq [0,1]^{\mathbb {N}}$ , we inductively define $\min P\in P$ as follows:
where $\pi _{n}:[0,1]^{\mathbb {N}}\to [0,1]$ is the projection onto the nth coordinate. We call the point $\min P$ the leftmost point of P. Kreisel’s basis theorem (see [Reference Odifreddi41, Proposition V.5.31]) in classical computability theory says that the leftmost element of a $\Pi ^{0}_{1}$ subset of ${\{0, 1\}^{\mathbb {N}}}$ or $[0,1]$ is always leftc.e. We consider the following infinitedimensional version of Kreisel’s basis theorem: For any oracle $p\in {\{0, 1\}^{\mathbb {N}}}$ , the leftmost point of a $\Pi ^{0}_{1}(p)$ subset of $[0,1]^{\mathbb {N}}$ is $\omega $ leftCEA in p.
To see this, one can easily check that the Hilbert cube $[0,1]^{\mathbb {N}}$ is computably compact in the sense that there is a computable enumeration of all finite collections $\mathcal {D}$ of basic open sets which covers the whole space; that is, $\bigcup \mathcal {D}=[0,1]^{\mathbb {N}}$ . In particular, given a $\Pi ^{0}_{1}$ set $P\subseteq [0,1]^{\mathbb {N}}$ , the predicate $P=\emptyset $ is $\Sigma ^{0}_{1}$ uniformly in a $\Pi ^{0}_{1}$ code of P.
Fix a $\Pi ^{0}_{1}(p)$ set $P\subseteq [0,1]^{\mathbb {N}}$ . It suffices to show that $\pi _{n+1}(\min P)$ is leftc.e. in $\langle \pi _{i}(\min P)\rangle _{i\leq n}$ uniformly in n relative to p. Given a finite sequence $\mathbf {a}=(a_{0},a_{1},\dots ,a_{n})$ of reals and a real q, we denote by $C(\mathbf {a},q)$ the set of all points in P of the form $(a_{0},a_{1},\dots ,a_{n},r,\dots )$ for some $r\leq q$ ; that is,
It is easy to check that $C(\mathbf {a},q)$ is a $\Pi ^{0}_{1}$ subspace of $[0,1]$ relative to $\mathbf {a}$ and q. By computable compactness of the Hilbert cube, one can see that $C^{*}(\mathbf {a}):=\{q\in [0,1]:C(\mathbf {a},q)=\emptyset \}$ is pc.e. open uniformly relative to $\mathbf {a}$ (since $C(\mathbf {a},q)=\emptyset $ is $\Sigma ^{0}_{1}$ uniformly relative to $\mathbf {a}$ and q). Therefore, $\sup C^{*}(\mathbf {a})$ is pleftc.e. uniformly relative to $\mathbf {a}$ . Finally, we claim that $\pi _{n+1}(\min P)$ is exactly $\sup C^{*}(\langle \pi _{i}(\min P)\rangle _{i\leq n})$ . By definition, $\pi _{n+1}(\min P)$ is the least $q\in [0,1]$ such that there exists $(r_{m})_{m\geq n+2}$ such that $(\pi _{0}(\min P),\dots ,\pi _{n}(\min P),q,r_{n+2},r_{n+3},\dots )\in P$ . This is equal to the least $q\in [0,1]$ such that $C(\langle \pi _{i}(\min P)\rangle _{i\leq n},q)$ is nonempty. This is exactly the same as $\sup C^{*}(\langle \pi _{i}(\min P)\rangle _{i\leq n})$ .
We use the following relativised versions of Miller’s lemmas.
Lemma 4.8 (Miller [Reference Miller37, Lemma 6.2])
For every $p\in {\{0, 1\}^{\mathbb {N}}}$ , there is a multivalued function $\Psi ^{p}:[0,1]^{\mathbb {N}}\rightrightarrows [0,1]^{\mathbb {N}}$ with a $\Pi ^{0}_{1}(p)$ graph and nonempty, convex images such that, for all $e\in \mathbb {N}$ , $\alpha \in [0,1]^{\mathbb {N}}$ and $\beta \in \Psi ^{p}(\alpha )$ , if for every name $\lambda $ of $\alpha $ , $\varphi _{e}^{\lambda \oplus p}$ is a name of $x\in [0,1]$ , then $\beta (e)=x$ .
Note that Kakutani’s fixed point theorem ensures the existence of a fixed point of $\Psi ^{p}$ . If $\alpha $ is a fixed point of $\Psi ^{p}$ – that is – $\alpha \in \Psi ^{p}(\alpha )$ , then $\mathrm{coSpec}^{p}(\alpha )=\{\alpha (n):n\in \mathbb {N}\}$ (to be more precise, $\mathrm{coSpec}^{p}(\alpha )$ is the set of all binary expansions of reals in $\{\alpha (n):n\in \mathbb {N}\}$ or, equivalently, $\mathrm{coSpec}^{p}(\alpha )=\{\alpha (n):n\in \mathbb {N}\}\cap {\{0, 1\}^{\mathbb {N}}}$ when ${\{0, 1\}^{\mathbb {N}}}$ is regarded as the canonical Cantor set in $[0,1]$ ). Therefore, such an $\alpha $ has no Turing degree relative to p (see [Reference Miller37, Proposition 5.3]).
Lemma 4.9 (Miller [Reference Miller37, Lemma 9.2])
For every $p\in {\{0, 1\}^{\mathbb {N}}}$ , there is an index $e\in \mathbb {N}$ such that for any $x\in [0,1]$ , there is a fixed point $\alpha $ of $\Psi ^{p}$ such that $\alpha (e)=x$ .
We show the following: For any oracle $p\in {\{0, 1\}^{\mathbb {N}}}$ , there is an $\omega $ leftCEA continuous degree which is not contained in $\mathrm{Spec}^{p}({\{0, 1\}^{\mathbb {N}}})$ .
Let $\mathrm{Fix}(\Psi ^{p})$ be the set of all fixed points of $\Psi ^{p}$ . Then, $\mathrm{Fix}(\Psi ^{p})$ is $\Pi ^{0}_{1}(p)$ since it is the intersection of the graph of $\Psi ^{p}$ (which is a $\Pi ^{0}_{1}(p)$ set) and the diagonal set. Let e be an index as in Lemma 4.9. Clearly, $A=\{\alpha \in \mathrm{Fix}(\Psi ^{p}):\alpha (e)=p\}$ is again a $\Pi ^{0}_{1}(p)$ subset of $[0,1]^{\mathbb {N}}$ and A is nonempty by Lemma 4.9. Given $\alpha \in [0,1]^{\mathbb {N}}$ , define $\alpha ^{\ast }$ as the result of swapping the values of the $0$ th and eth entries of $\alpha $ ; that is, $\alpha ^{\ast }(0)=\alpha (e)$ , $\alpha ^{\ast }(e)=\alpha (0)$ and $\alpha ^{\ast }(n)=\alpha (n)$ for $n\not \in \{0,e\}$ . It is clear that $\alpha \mapsto \alpha ^{\ast }$ is a computable homeomorphism. Thus, $A^{\ast }=\{\alpha \in [0,1]:\alpha ^{\ast }\in A\}$ is computably homeomorphic to A; hence, $A^{\ast }$ is also a nonempty $\Pi ^{0}_{1}(p)$ set. By our infinitedimensional version of Kreisel’s basis theorem, $A^{\ast }$ contains an element $\alpha $ which is $\omega $ leftCEA in p. Indeed, $\alpha $ is $\omega $ leftCEA over p since $\alpha (0)=\alpha ^{\ast }(e)=p$ . By the property of an element of $A\subseteq \mathrm{Fix}(\Psi ^{p})$ discussed above, $\alpha ^{\ast }\in A$ has no Turing degree relative to p. Moreover, since moving the eth entry of $\alpha $ to the first entry does not affect the degree, the degree of $\alpha $ is equal to that of $\alpha ^{\ast }$ . Hence, $\alpha $ has a $\omega $ leftCEA continuous degree but has no Turing degree relative to p.
By this claim, $\mathrm{Spec}^{p}({\{0, 1\}^{\mathbb {N}}})\subsetneq \mathrm{Spec}^{p}(\omega \mathbf {CEA})$ for any oracle p. Again by Theorem 3.5 and Observation 4.6, we conclude ${\{0, 1\}^{\mathbb {N}}}<_{\sigma }^{\mathfrak {T}}\omega \mathbf {CEA}$ .
5 Structure of $\sigma $ Homeomorphism Types
In this section, we will show that there are continuum many $\sigma $ homeomorphism types of compact metrisable spaces.
Theorem 5.1. There exists a collection $(\mathbf {X}_{\alpha })_{\alpha <2^{\aleph _{0}}}$ of continuum many compact metric spaces such that if $\alpha \not =\beta $ , $\mathbf {X}_{\alpha }$ cannot be $\sigma $ embedded into $\mathbf {X}_{\beta }$ .
We devote the rest of this section to prove Theorem 5.1. Actually, we will show the following:
There is an embedding of the inclusion ordering $([\omega _{1}]^{\leq \omega },\subseteq )$ of countable subsets of the smallest uncountable ordinal $\omega _{1}$ into the $\sigma $ embeddability ordering of compact metric spaces.
As a corollary, there are an uncountable chain and a continuum antichain of $\sigma $ homeomorphism types of compact metric spaces.
5.1 Almost Arithmetical Degrees
In Section 4, we used the cospectrum as a $\sigma $ topological invariant. More explicitly, in our proof, it was essential to examine closure properties of cospectra to obtain an intermediate $\sigma $ homeomorphism type of Polish spaces. In this section, we will develop a method for controlling closure properties of cospectra. As a result, we will construct a compact metrisable space whose cospectra realise a given wellbehaved family of ‘almost’ arithmetical degrees.
First, we introduce a notion which estimates the strength of closure properties of functions up to the arithmetical equivalence.
Definition 5.2. Let g and h be total Borel measurable functions from ${\{0, 1\}^{\mathbb {N}}}$ into ${\{0, 1\}^{\mathbb {N}}}$ .

1. We inductively define $g^{0}(x)=x$ and $g^{n+1}(x)=g^{n}(x)\oplus g(g^{n}(x))$ .

2. For every oracle $r\in {\{0, 1\}^{\mathbb {N}}}$ , consider the following jump ideal defined as
$$ \begin{align*}\mathcal{J}_{a}(g,r)=\{z\in {\{0, 1\}^{\mathbb{N}}}:(\exists n\in\mathbb{N})\;z\leq_{a}g^{n}(r)\},\end{align*} $$where $\leq _{a}$ denotes the arithmetical reducibility; that is, $p\leq _{a}q$ is defined by $p\leq _{\mathrm {T}} q^{(m)}$ for some $m\in \mathbb {N}$ (see Odifreddi [Reference Odifreddi42, Section XII.2 and Chapter XIII]). 
3. A function g is almost arithmetical reducible to a function h (written as $g\leq _{aa}h$ ) if for any $r\in {\{0, 1\}^{\mathbb {N}}}$ there is $x\in {\{0, 1\}^{\mathbb {N}}}$ with $x\geq _{T}r$ such that
$$ \begin{align*}\mathcal{J}_{a}(g,x)\subseteq\mathcal{J}_{a}(h,x).\end{align*} $$ 
4. Let $\mathcal {G}$ and $\mathcal {H}$ be countable sets of total functions. We say that $\mathcal {G}$ is $aa$ included in $\mathcal {H}$ (written as $\mathcal {G}\subseteq _{aa}\mathcal {H}$ ) if for all $g\in \mathcal {G}$ , there is $h\in \mathcal {H}$ such that $g\equiv _{aa}h$ (i.e., $g\leq _{aa}h$ and $h\leq _{aa}g$ ).
A function $g:{\{0, 1\}^{\mathbb {N}}}\to {\{0, 1\}^{\mathbb {N}}}$ is said to be monotone if $x\leq _{\mathrm {T}} y$ implies $g(x)\leq _{\mathrm {T}} g(y)$ .
Remark 5.3. Although it will not be used later, one can show that $\leq _{aa}$ is transitive on monotone Borel measurable functions using Borel determinacy: First note that the condition $\mathcal {J}_{a}(g,x)\subseteq \mathcal {J}_{a}(h,x)$ is equivalent to saying that for any i there is j such that $g^{i}(x)\leq _{a} h^{j}(x)$ . Thus, this is a Borel property. Given Borel measurable functions g and h, consider the following game: Player I plays r (bit by bit), Player II responds with x and Player II wins this game if $x\geq _{T} r$ and $\mathcal {J}_{a}(g,x)\subseteq \mathcal {J}_{a}(h,x)$ . If $g\leq _{aa}h$ , then Player I cannot have a winning strategy, so by Borel determinacy, II has a winning strategy $\alpha $ . This strategy yields an $\alpha $ computable transformation $r\mapsto x$ , which implies $x\leq _{\mathrm {T}} r\oplus \alpha $ . In particular, if $r\geq _{T}\alpha $ , then there is $x\equiv _{\mathrm {T}} r$ such that $\mathcal {J}_{a}(g,x)\subseteq \mathcal {J}_{a}(h,x)$ . By monotonicity of g, if $z\equiv _{\mathrm {T}} x$ , then $\mathcal {J}_{a}(g,x)=\mathcal {J}_{a}(g,z)$ and the same property holds for h. Thus, using monotonicity of g and h, for any $x\geq _{T}\alpha $ we get $\mathcal {J}_{a}(g,x)\subseteq \mathcal {J}_{a}(h,x)$ . Using this characterisation, it is now easy to show that $\leq _{aa}$ is transitive.
An oracle $\mathbf {\Pi }^{0}_{2}$ singleton is a total function $g:{\{0, 1\}^{\mathbb {N}}}\to {\{0, 1\}^{\mathbb {N}}}$ whose graph is $G_{\delta }$ . Clearly, every oracle $\mathbf {\Pi }^{0}_{2}$ singleton is Borel measurable, whereas there is no upper bound of Borel ranks of oracle $\mathbf {\Pi }^{0}_{2}$ singletons. For instance, if $\alpha $ is a computable ordinal, then the $\alpha $ th Turing jump $j_{\alpha }(x)=x^{(\alpha )}$ is a monotone oracle $\mathbf {\Pi }^{0}_{2}$ singleton for every computable ordinal $\alpha $ (see Odifreddi [Reference Odifreddi42, Proposition XII.2.19], Sacks [Reference Sacks58, Corollary II.4.3] and ChongYu [Reference Chong, Yu and Sacks9, Theorem 2.1.4]). The following is the key lemma in our proof, which will be proved in Subsection 5.2.
Lemma 5.4 (Realisation Lemma)
There is a map $\mathbf {Rea}$ transforming each countable set of monotone oracle $\mathbf {\Pi }^{0}_{2}$ singletons into a Polish space such that
5.2 Construction
We construct a Polish space whose cospectrum codes almost arithmetical degrees contained in a given countable set $\mathcal {G}$ of oracle $\mathbf {\Pi }^{0}_{2}$ singletons. For notational simplicity, given $x\in [0,1]^{\mathbb {N}}$ , we write $x_{n}$ for the nth coordinate of x and, moreover, $x_{<n}$ and $x_{\leq n}$ for $(x_{i})_{i<n}$ and $(x_{i})_{i\leq n}$ , respectively. We also consider a sequence like $(r,x_{<i},x_{\ell })$ and, in this case, for sake of simplicity, we assume that any name of $(r,x_{<i},x_{\ell })$ codes information for i and $\ell $ .
Our idea comes from the construction by Miller [Reference Miller37, Lemma 9.2]. Our purpose is constructing a Polish space such that given $g\in \mathcal {G}$ and oracle r the space has a point $x=(x_{i})_{i\in \mathbb {N}}$ whose cospectrum is not very different from $\mathcal {J}_{a}(g,r)$ . Then, at least, such a point should compute $g^{i}(r)$ for all $i\in \mathbb {N}$ . We can achieve this by requiring $x_{i}=g^{i}(r)$ for infinitely many $i\in \mathbb {N}$ ; however, we need to control the cospectrum simultaneously and, therefore, we have to choose such coding locations i very carefully. The actual construction is that, from r and $x_{<v}$ , we will find a finite set $(\ell (u))_{u\leq v}$ of candidates of safe coding locations and then we define $x_{\ell (u)}=g^{\ell (u)}(r)$ at a genuine safe coding location $\ell (u)$ . Then, for each i with $v\leq i<\ell (u)$ , we define $x_{i}$ from $(r,x_{<i},x_{\ell (u)})$ in a leftc.e. manner. This idea yields the following definition.
Definition 5.5. Let $\mathcal {G}=(g_{n})_{n\in \mathbb {N}}$ be a countable collection of oracle $\mathbf {\Pi }^{0}_{2}$ singletons. The space $\mathbf {\omega CEA}(\mathcal {G})$ consists of $(n,d,e,r,x)\in \mathbb {N}^{3}\times {\{0, 1\}^{\mathbb {N}}}\times [0,1]^{\mathbb {N}}$ such that for every i,

1. either $x_{i}=g_{n}^{i}(r)$ or

2. there are $u\leq v\leq i$ such that $x_{i}\in [0,1]$ is the eth leftc.e. real relative to $\langle r,x_{<i},x_{\ell (u)}\rangle $ and $x_{\ell (u)}=g_{n}^{\ell (u)}(r)$ , where $\ell (u)=\Phi _{d}(u,r,x_{<v})\geq i$ (recall that $\Phi _{d}$ is the dth partial computable function).
Moreover, for a set $P\subseteq {\{0, 1\}^{\mathbb {N}}}\times [0,1]^{\mathbb {N}}$ , define $\mathbf {\omega CEA}(\mathcal {G},P)$ to be the set of all points $(n,d,e,r,x)\in \mathbf {\omega CEA}(\mathcal {G})$ with $(r,x)\in P$ .
Lemma 5.6. Suppose that $\mathcal {G}$ is a countable collection of oracle $\mathbf {\Pi }^{0}_{2}$ singletons and P is a $\mathbf {\Pi }^{0}_{2}$ subset of $\{0,1\}^{\mathbb {N}}\times [0,1]^{\mathbb {N}}$ . Then, $\mathbf {\omega CEA}(\mathcal {G},P)$ is Polish.
Proof. It suffices to show that $\mathbf {\omega CEA}(\mathcal {G})$ is $\mathbf {\Pi }^{0}_{2}$ . The condition (1) in Definition 5.5 is clearly $\mathbf {\Pi }^{0}_{2}$ . Let $\forall a\exists b>a\;G(a,b,n,\ell ,r,x)$ be a $\mathbf {\Pi }^{0}_{2}$ condition representing $x=g_{n}^{\ell }(r)$ , where G is open and let $\ell (u)[s]$ be the stage s approximation of $\Phi _{d}(u,r,x_{<v})$ . The condition (2) is equivalent to the statement that there are $u\leq v\leq i$ such that
Clearly, this condition is $\mathbf {\Pi }^{0}_{2}$ .
Remark 5.7. The space $\mathbf {\omega CEA}(\mathcal {G})$ is totally disconnected for any countable set $\mathcal {G}$ of oracle $\mathbf {\Pi }^{0}_{2}$ singletons, since for any fixed $(n,d,e,r)\in \mathbb {N}^{3}\times {\{0, 1\}^{\mathbb {N}}}$ , its extensions form a finitebranching infinite tree $T\subseteq [0,1]^{<\omega }$ .
Recall from Lemma 4.8 that Miller [Reference Miller37, Lemma 6.2] constructed a $\Pi ^{0}_{1}$ set $\mathrm{Fix}(\Psi )\subseteq [0,1]^{\mathbb {N}}=[0,1]\times [0,1]^{\mathbb {N}}$ such that $\mathrm{coSpec}(x)=\{x_{i}:i\in \mathbb {N}\}$ for every $x=(x_{i})_{i\in \mathbb {N}}\in \mathrm{Fix}(\Psi )$ . By Lemma 4.9, without loss of generality, we may assume that $\mathrm{Fix}(\Psi )\cap \pi _{0}^{1}\{r\}\not =\emptyset $ for every $r\in [0,1]$ . Define $\mathrm{Fix}^{\ast }(\Psi )=\mathrm{Fix}(\Psi )\cap \pi _{0}^{1}[{\{0, 1\}^{\mathbb {N}}}]=\mathrm{Fix}(\Psi )\cap ({\{0, 1\}^{\mathbb {N}}}\times [0,1]^{\mathbb {N}})$ , where ${\{0, 1\}^{\mathbb {N}}}$ is always thought of as a subset of $[0,1]$ (as a Cantor set). Now, consider the space $\mathbf {Rea}(\mathcal {G})=\mathbf {\omega CEA}(\mathcal {G},\mathrm{Fix}^{\ast }(\Psi ))$ . To state properties of $\mathbf {Rea}(\mathcal {G})$ , for an oracle $\mathbf {\Pi }^{0}_{2}$ singleton g and an oracle $r\in {\{0, 1\}^{\mathbb {N}}}$ , we use the following Turing ideal:
The following is the key lemma, which states that any collection of jump ideals generated by countably many oracle $\mathbf {\Pi }^{0}_{2}$ singletons has to be the degree cospectrum of a Polish space up to the almost arithmetical equivalence!
Lemma 5.8. Suppose that $\mathcal {G}=(g_{n})_{n\in \mathbb {N}}$ is a countable set of oracle $\mathbf {\Pi }^{0}_{2}$ singletons.

1. For every $x\in \mathbf {Rea}(\mathcal {G})$ , there are $r\in {\{0, 1\}^{\mathbb {N}}}$ and $n\in \mathbb {N}$ such that
$$ \begin{align*}\mathcal{J}_{T}(g_{n},r)\subseteq\mathrm{coSpec}(x)\subseteq\mathcal{J}_{a}(g_{n},r).\end{align*} $$ 
2. For every $r\in {\{0, 1\}^{\mathbb {N}}}$ and $n\in \mathbb {N}$ , there is $x\in \mathbf {Rea}(\mathcal {G})$ such that
$$ \begin{align*}\mathcal{J}_{T}(g_{n},r)\subseteq\mathrm{coSpec}(x)\subseteq\mathcal{J}_{a}(g_{n},r).\end{align*} $$
Proof of Lemma 5.8 (1)
We have $(r,x)\in \mathrm{Fix}(\Psi )$ for every $y=(n,d,e,r,x)\in \mathbf {Rea}(\mathcal {G})$ . For every $i\in \mathbb {N}$ , we inductively assume that for every $j<i$ , $x_{j}$ is arithmetical in $g_{n}^{k}(r)$ for some $k\in \mathbb {N}$ . Now, either $x_{i}=g_{n}^{i}(r)$ or $x_{i}$ is leftc.e. in $(r,x_{<i},g_{n}^{\ell }(r))$ for some $\ell $ . In both cases, $x_{i}$ is arithmetical in $g_{n}^{k}(r)$ for some k. Since $(r,x)\in \mathrm{Fix}(\Psi )$ , by Lemma 4.8, $\mathrm{coSpec}(y)=\{r\}\cup \{x_{i}:i\in \mathbb {N}\}$ . This shows that $\mathrm{coSpec}(y)\subseteq \mathcal {J}_{a}(g_{n},r)$ . Moreover, $x_{i}=g_{n}^{i}(r)$ for infinitely many $i\in \mathbb {N}$ , since either $x_{i}=g^{i}_{n}(r)$ holds or there is $\ell \geq i$ such that $x_{\ell }=g^{\ell }_{n}(r)$ by the condition (2) in Definition 5.5. Therefore, $g_{n}^{k}(r)\leq _{\mathrm {T}} x$ for all $k\in \mathbb {N}$ ; that is, $\mathcal {J}_{T}(g_{n},r)\subseteq \mathrm{coSpec}(y)$ .
To verify the assertion (2) in Lemma 5.8 – indeed, for any $n\in \mathbb {N}$ – we will construct indices d and e such that for every $r\in {\{0, 1\}^{\mathbb {N}}}$ , there is $x=(x_{i})_{i\in \mathbb {N}}$ with $(n,d,e,r,x)\in \mathbf {Rea}(\mathcal {G})$ , where $x_{i}=g_{n}^{i}(r)$ for infinitely many $i\in \mathbb {N}$ . Let e be an index of a leftc.e. procedure $J^{i+1}_{e}(r,x_{<i},x_{\ell (u)})$ which is a simple procedure extending $r,x_{<i},x_{\ell (u)}$ to the leftmost $r,x_{\leq i},x_{\ell (u)}$ which is extendable to a fixed point of $\Psi $ (as in Kreisel’s basis theorem in the proof of Theorem 4.5). The function $\Phi _{d}$ searches for a safe coding location $c(n)$ from a given name of $x_{\leq c(n1)}$ , where $c(n1)$ is the previous coding location.
To make sure the search of the next coding location is bounded, as in Definition 5.5, we have to restrict the set of names of a vtuple $x_{<v}$ to at most $v+1$ candidates. It is known that a separable metrisable space is at most ndimensional if and only if it is the union of $n+1$ many zerodimensional subspaces (see [Reference Engelking15, Theorem 1.5.8] or [Reference van Mill64, Corollary 3.1.7]). We say that an admissibly represented Polish space is computably at most ndimensional if it is the union of $n+1$ many subspaces that are computably homeomorphic to subspaces of $\mathbb {N}^{\mathbb {N}}$ .
Lemma 5.9. Suppose that $(\mathbf {X},\rho _{X})$ is a computably at most ndimensional admissibly represented space. Then, there is a partial computable injection $\nu _{X}:\subseteq (n+1)\times \mathbf {X}\to \mathbb {N}^{\mathbb {N}}$ such that for every $x\in \mathbf {X}$ , there is $k\leq n$ such that $(k,x)\in \mathrm{dom}(\nu _{X})$ and $\rho _{X}\circ \nu _{X}(k,x)=x$ .
Proof. By definition, $\mathbf {X}$ is divided into $n+1$ many subspaces $S_{0},\dots ,S_{n}$ such that $S_{k}$ is homeomorphic to $N_{k}\subseteq \mathbb {N}^{\mathbb {N}}$ via computable maps $\tau _{k}\colon S_{k}\to N_{k}$ and $\tau _{k}^{1}\colon N_{k}\to S_{k}$ . Then, $\tau ^{1}_{k}$ can also be viewed as a partial computable injection $\tau _{k}^{1}:\subseteq \mathbb {N}^{\mathbb {N}}\to \mathbf {X}$ and then it has a computable realiser $\tau ^{*}_{k}$ ; that is, $\tau _{k}^{1}=\rho _{X}\circ \tau ^{*}_{k}$ . Define $\nu _{X}(k,x)=\tau ^{*}_{k}\circ \tau _{k}(x)$ for $x\in S_{k}$ . Then, we have $\rho _{X}\circ \nu _{X}(k,x)=\tau _{k}^{1}\circ \tau _{k}(x)=x$ for $x\in S_{k}$ .
The Euclidean nspace $\mathbb {R}^{n}$ is clearly computably ndimensional; for example, for $k\leq n$ , let $S_{k}$ be the set of all points $x\in \mathbb {R}^{n}$ such that exactly k many coordinates are irrationals. Furthermore, one can effectively find an index of $\nu _{n}:=\nu _{\mathbb {R}^{n}}$ in Lemma 5.9 uniformly in n. Hereafter, let $\rho _{i}$ be the usual Euclidean admissible representation of $\mathbb {R}^{i}$ (cf. [Reference Weihrauch65]). One can use Miller’s argument [Reference Miller37, Lemma 9.2] to ensure the existence of a safe coding location $c(n)$ as a fixed point in the sense of Kleene’s recursion theorem. Therefore, as Kleene’s recursion theorem is uniform (see Fact 2.1), one can effectively find such a location in the following sense:
Lemma 5.10 (Miller [Reference Miller37, Lemma 9.2])
Suppose that $(r,x_{<i})$ can be extended to a fixed point of $\Psi $ and fix a partial computable function $\nu $ which sends $x_{<i}$ to its name; that is, $\rho _{i}\circ \nu (x_{<i})=(x_{<i})$ . From an index t of $\nu $ and the sequence $x_{<i}$ , one can effectively find a location $p=\Gamma (t,r,x_{<i})$ such that for every real y, the sequence $(r,x_{<i})$ can be extended to a fixed point $(r,x)$ of