Computable linear orders and products

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.

Bibliographic Details
Main Authors: Frolov, Andrey N., Lempp, Steffen, Ng, Keng Meng, Wu, Guohua
Other Authors: School of Physical and Mathematical Sciences
Format: Journal Article
Language:English
Published: 2021
Subjects:
Science::Mathematics
Computable Linear Order
Product
Online Access:https://hdl.handle.net/10356/146870

Internet

https://hdl.handle.net/10356/146870

Similar Items