Computable linear orders and products

• المؤلفون الرئيسيون: Frolov, Andrey N., Lempp, Steffen, Ng, Keng Meng, Wu, Guohua
• مؤلفون آخرون: School of Physical and Mathematical Sciences
• التنسيق: مقال
• اللغة: 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.