We characterize the linear order types $\tau $ with the property that given any countable linear order $\mathcal {L}$ , $\tau \cdot \mathcal {L}$ is a computable linear order iff $\mathcal {L}$ is a computable linear order, as exactly the finite nonempty order types.

中文翻译：

---

可计算的线性订单和产品

我们表征线性订单类型$\头$具有给定任何可数线性顺序的属性$\数学{L}$,$\tau \cdot \mathcal {L}$是一个可计算的线性阶 iff$\数学{L}$是一个可计算的线性订单，就像有限的非空订单类型一样。