Initial segments of recursive linear orders

DOI10.1023/A:1006043601359zbMath0909.03034OpenAlexW108828974MaRDI 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

zbMATH Keywords

initial segmentrecursive linear order

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (5)

Reducibilities among equivalence relations induced by recursively enumerable structures ⋮ Initial segments of computable linear orders with additional computable predicates ⋮ On computably enumerable structures ⋮ \(\Sigma_{2}^{0}\)-initial segments of computable linear orders ⋮ Graphs realised by r.e. equivalence relations

This page was built for publication: Initial segments of recursive linear orders