Computable linear orders and products

• Main Authors: Frolov, Andrey N., Lempp, Steffen, Ng, Keng Meng, Wu, Guohua
• 其他作者: School of Physical and Mathematical Sciences
• 格式: Article
• 語言: English
• 出版: 2021
• 主題: Science::Mathematics; Computable Linear Order; Product
• 在線閱讀: https://hdl.handle.net/10356/146870
• 機構: Nanyang Technological University

We characterize the linear order types τ with the property that given any countable linear order ℒ, τ ·ℒ is a computable linear order iff ℒ is a computable linear order, as exactly the finite nonempty order types.