AEC和$ \kappa $可测的分类性和合并
摘要：在这篇论文的原始版本中，我们假设一个理论T，假设逻辑mathbb L\_{kappa，aleph\_0}在大于kappa的基数lambda上是范畴化的，并且kappa是可测的。在那里，我们证明了基数小于lambda（但大于等于|T|+kappa）的T模型类具有聚合性质；这是我们理解这种模型类性质的一步。 在本次修订版本中，我们将T模型类替换为了mathfrak k，一个具有LS编号小于kappa或者至少通过在kappa上的正常超滤器D进行超力的抽象基本类（AEC）。 目前，在子章节S1A中处理的是T子集mathbb L\_{kappa^+，aleph\_0}（导论中的大部分内容以及S1的其余部分也是如此），但除此之外，所有内容都是在AEC的背景下完成的。
作者：Oren Kolman, Saharon Shelah
论文ID：math/9602216
分类：Logic
分类简称：math.LO
提交时间：2023-05-19