\(\Sigma_{2}^{0}\)-initial segments of computable linear orders
From MaRDI portal
Publication:2342318
DOI10.1007/s10469-014-9288-3zbMath1323.03057OpenAlexW2051650141MaRDI QIDQ2342318
Publication date: 11 May 2015
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-014-9288-3
Related Items (max. 100)
Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders ⋮ Computable linear orders and the Ershov hierarchy ⋮ Computable linear orders and the ershov hierarchy
Cites Work
This page was built for publication: \(\Sigma_{2}^{0}\)-initial segments of computable linear orders