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.

Saved in:
書目詳細資料
Main Authors: Frolov, Andrey N., Lempp, Steffen, Ng, Keng Meng, Wu, Guohua
其他作者: School of Physical and Mathematical Sciences
格式: Article
語言:English
出版: 2021
主題:
在線閱讀:https://hdl.handle.net/10356/146870
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Nanyang Technological University
語言: English