Computable linear orders and products

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.

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Frolov, Andrey N., Lempp, Steffen, Ng, Keng Meng, Wu, Guohua
مؤلفون آخرون: School of Physical and Mathematical Sciences
التنسيق: مقال
اللغة:English
منشور في: 2021
الموضوعات:
الوصول للمادة أونلاين:https://hdl.handle.net/10356/146870
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة: Nanyang Technological University
اللغة: English