一般非结构理论与基于线性排序的构造
摘要：从一组“复杂”的所谓指标模型 $I 在 K_1$ 中构建许多和/或复杂的结构 在类 $K_2$ 中 的框架的准备工作主题。指标模型是具有特征性线性顺序的，有 k+1 级的树（可能在一个成员的后继集上有线性顺序）和线性有序图；为此，我们制定了相关的复杂性属性（称为 bigness）。 在第三部分中，我们展示了关于线性顺序的更强劲的结果。如果对于每个基数为 $lambda > aleph_0$ 的线性顺序 $I$，我们可以附加一个模型 $M_I 在 K_lambda$ 中，其中线性顺序可以嵌入，以便对于足够的切割 $I$，它们在 $M_I$ 中被省略是可以反映出来的，则存在 $2^lambda$ 个非同构的情况。我们也为一些应用做了这方面的工作。
作者：Saharon Shelah
论文ID：2305.02003
分类：Logic
分类简称：math.LO
提交时间：2023-05-19