AEC：权重和$p$-简洁性
摘要：第一部分：从[Sh:c, Ch.III,V,S4]中推广想象元素，${公式]$权重， ${公式]$简单类型等等到好框架的背景中。这需要允许词汇具有无限数目的谓词和函数符号，但似乎我们不会遭受任何真正的损失。 第二部分：成为[1238] [Sh:h]中推荐的良好框架，作为在元素类中超稳定的恰当对应。在这里，我们将$(\mu,\lambda,\kappa)$-框架作为稳定理论的$|T|^+$饱和模型对应的恰当对应候选。与超稳定案例相比的一个损失是，在基数的归纳过程中的上升是有问题的（对于小基数的下限）。但这只发生在我们尝试提升的情况下。在这个背景下，我们研究维度。 第三部分：成为[1239]在第二部分的背景下，我们考虑了有点饱和模型的平行主要差异问题；展示我们与一阶案例相比并没有更差。
作者：Saharon Shelah
论文ID：2305.01970
分类：Logic
分类简称：math.LO
提交时间：2023-05-04