Faizrahmanov, Marat; Kach, Asher; Kalimullin, Iskander; Montalbán, Antonio; Puzarenko, Vadim Jump inversions of algebraic structures and \(\Sigma \)-definability. (English) Zbl 07197304 Math. Log. Q. 65, No. 1, 37-45 (2019). Summary: It is proved that for every countable structure \(\mathcal{A}\) and a computable successor ordinal \(\alpha\) there is a countable structure \(\mathcal{A}^{-\alpha}\) which is \(\leq _{\Sigma}\)-least among all countable structures \(\mathcal{C}\) such that \(\mathcal{A}\) is \(\Sigma\)-definable in the \(\alpha\)th jump \(\mathcal{C}^{(\alpha)}\). We also show that this result does not hold for the limit ordinal \(\alpha=\omega\). Moreover, we prove that there is no countable structure \(\mathcal{A}\) with the degree spectrum \(\{\mathbf{d}:\mathbf{a}\leq\mathbf{d}^{(\omega)}\}\) for \(\mathbf{a}>\mathbf{0}^{(\omega)}\). Cited in 1 ReviewCited in 1 Document MSC: 03 Mathematical logic and foundations PDF BibTeX XML Cite \textit{M. Faizrahmanov} et al., Math. Log. Q. 65, No. 1, 37--45 (2019; Zbl 07197304) Full Text: DOI