Initial segments of recursive linear orders
From MaRDI portal
Publication:1267600
DOI10.1023/A:1006043601359zbMath0909.03034MaRDI QIDQ1267600
Steffen Lempp, S. Barry Cooper, Ambos-Spies, Klaus
Publication date: 25 March 1999
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1006043601359
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
Initial segments of computable linear orders with additional computable predicates, Reducibilities among equivalence relations induced by recursively enumerable structures, On computably enumerable structures, \(\Sigma_{2}^{0}\)-initial segments of computable linear orders, Graphs realised by r.e. equivalence relations