|
This article is cited in 3 scientific papers (total in 3 papers)
New degree spectra of Polish spaces
A. G. Mel'nikovab a School of Mathematics and Statistics, Victoria University of Wellington, Wellington, New Zealand
b Sobolev Institute of Mathematics, Novosibirsk, Russia
Abstract:
The main result is as follows: Fix an arbitrary prime $q$. A $q$-divisible torsion-free (discrete, countable) abelian group $G$ has a $\Delta^0_2$-presentation if, and only if, its connected Pontryagin–van Kampen Polish dual $\widehat{G}$ admits a computable complete metrization (in which we do not require the operations to be computable). We use this jump-inversion/duality theorem to transfer the results on the degree spectra of torsion-free abelian groups to the results about the degree spectra of Polish spaces up to homeomorphism. For instance, it follows that for every computable ordinal $\alpha>1$ and each $=\mathbf{a} > 0^{(\alpha)}$ there is a connected compact Polish space having proper $\alpha^{th}$ jump degree $\mathbf{a}$ (up to homeomorphism). Also, for every computable ordinal $\beta$ of the form $1+\delta + 2n +1$, where $\delta$ is zero or is a limit ordinal and $n \in \omega$, there is a connected Polish space having an $X$-computable copy if and only if $X$ is $non$-$low_{\beta}$. In particular, there is a connected Polish space having exactly the $non$-$low_{2}$ complete metrizations. The case when $\beta=2$ is an unexpected consequence of the main result of the author's M.Sc. Thesis written under the supervision of Sergey S. Goncharov.
Keywords:
computable analysis, constructive group, decidability, connected space.
Received: 26.05.2021 Revised: 27.06.2021 Accepted: 11.08.2021
Citation:
A. G. Mel'nikov, “New degree spectra of Polish spaces”, Sibirsk. Mat. Zh., 62:5 (2021), 1091–1108; Siberian Math. J., 62:5 (2021), 882–894
Linking options:
https://www.mathnet.ru/eng/smj7617 https://www.mathnet.ru/eng/smj/v62/i5/p1091
|
|