一个紧基数的模型理论
摘要：紧张的翻译：用于完整理论T的模型理论的发展当η是一个紧基数。通过[Sh:300a]，我们已经有了赤裸稳定性，似乎无法再进一步了。处理超级力量（和超级产物），我们将自己限制于“D是I上的η-完全超滤器，可能是（I，η）-正则”。基本定理有效，但我们能推广模型理论的更深层次吗？特别地，我们能否推广稳定性已经推广[Sh:c, Ch.VI]了？我们证明我们至少可以表征满足Keisler序的T，即那些满足 {D: D是λ上的正规超滤器和M模型T⇒M^λ/D是λ-饱和的}的T。此外，我们成功地将我们的调查与[Sh:797]中引入的逻辑mathbb{L}^1_{<<η>>}连接起来：当且仅当对于一些ω-η-完全超滤器的迭代超级力量，这两个模型是mathbb{L}^1_{<<η>>}等价的，它们是同构的。
作者：Saharon Shelah
论文ID：1303.5247
分类：Logic
分类简称：math.LO
提交时间：2023-08-23