arXiv:1901.04786 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords isomorphic, computable structures, familiar computable linear orders, construct computable linear orders, natural numbers Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset