非驯服字符串代数的吊床

我们利用线性序的凝聚（局部化）作为工具，证明了字符串代数最简单版本的吊床的序型属于有限描述线性序类——这是包含 $\mathbf 0$、$\mathbf 1$，且在同构、有限序和、与 $\omega$ 和 $\omega^*$ 的反字典积以及有限子集的洗牌运算下封闭的最小线性序类。我们还引入了带集合的两个有限子集，并利用它们描述了左 $\mathbb N$-字符串在吊床完备化中的位置。