Degree spectra of the successor relation of computable linear orderings
From MaRDI portal
Publication:1005920
DOI10.1007/s00153-008-0110-6zbMath1161.03022MaRDI QIDQ1005920
Publication date: 17 March 2009
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-008-0110-6
degree spectrum; computable linear ordering; successor relation; computably enumerable Turing degree; upper cone
06A05: Total orders
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures