[论文解读] Model Theory for theta-Complete Ultrapowers

Saharon Shelah|arXiv (Cornell University)|Mar 21, 2013

Advanced Algebra and Logic参考文献 2被引用 5

一句话总结

本论文为当 $ \theta $ 为紧致基数时，完备理论在无穷逻辑 $ L_{\theta,\theta}(\tau) $ 中的模型论提供了研究，重点在于 $ \theta $-完备超幂。论文通过两种不同的稳定性概念刻画了超幂为饱和的理论，并建立了与逻辑 $ L^1_{<\theta} $ 的联系，证明了两个模型在 $ L^1_{<\theta} $ 中等价当且仅当它们沿 $ \omega $-序列的 $ \theta $-完备超滤子的迭代超幂同构。

ABSTRACT

We would like to develop model theory for T, a complete theory in L_{theta,theta}(tau) when theta is a compact cardinal. We have bare bones stability theory and it seemed we can go no further. Dealing with ultrapowers (and ultraproducts) naturally we restrict ourselves to D a theta-complete ultrafilter on I, probably (I,theta)-regular. The basic theorems work and can be generalized (like Los theorem), but can we generalize deeper parts of model theory? In particular, can we generalize stability enough to generalize [Sh:c, Ch. VI]? Let us concentrate on saturated in the local sense (types consisting of instances of one formula). We prove that at least we can characterize the T's (of cardinality 2^kappa +|T| in each of the following two senses. One is generalizing Keisler order which measures how saturated are ultrapowers. Another asks: Is there an L_{theta,theta}-theory T_1 supseteq T of cardinality |T| + 2^theta such that for every model M_1 of T_1 of cardinality > lambda, the tau(T)-reduct M of M_1 is lambda^+-saturated. Moreover, the two versions of stable used in the characterization are different. Further we succeed to connect our investigation with the logic L^1_{< theta} introduced in [Sh:797] proving it satisfies several parallel of classical theorems on first order logic, strengthening the thesis that it is a natural logic. In particular, two models are L^1_{<theta}-equivalent iff for some omega-sequence of theta-complete ultrafilters, the iterated ultra-powers by it of those two models are isomorphic.

研究动机与目标

• 将稳定性理论推广至 $ L_{\theta,\theta}(\tau) $-理论，当 $ \theta $ 为紧致基数时。
• 研究在 $ \theta $-完备超滤子下的超幂的饱和性。
• 将凯斯勒序推广至衡量 $ L_{\theta,\theta} $-理论中饱和性的工具。
• 确定是否存在一个理论 $ T_1 \supseteq T $，其大小为 $ |T| + 2^\theta $，使得所有大小大于 $ \lambda $ 的 $ T_1 $ 模型的 $ \tau(T) $-约化均为 $ \lambda^+ $-饱和。
• 通过迭代超幂将逻辑 $ L^1_{<\theta} $ 与模型论性质联系起来。

提出的方法

• 在 $ \theta $-正则指标集上使用 $ \theta $-完备超滤子构造超幂，并分析其饱和性。
• 将经典模型论结果（如洛斯定理）推广至 $ L_{\theta,\theta} $ 设置。
• 引入两种针对由单个公式定义的类型之局部饱和性的、专门设计的稳定性概念。
• 构造一个大小为 $ |T| + 2^\theta $ 的 $ L_{\theta,\theta} $-理论 $ T_1 $，以确保其模型的约化具有 $ \lambda^+ $-饱和性。
• 通过沿 $ \omega $-序列的 $ \theta $-完备超滤子的迭代超幂同构，建立 $ L^1_{<\theta} $-等价性的刻画。
• 利用 [Sh:797] 中关于 $ L^1_{<\theta} $ 的结果，证明无穷逻辑中经典定理的类比。

实验结果

研究问题

• RQ1 当 $ \theta $ 为紧致基数时，$ L_{\theta,\theta}(\tau) $ 中的稳定性理论能否超越基础结果而被推广？
• RQ2 在何种条件下，模型的超幂对 $ \theta $-完备超滤子是 $ \lambda^+ $-饱和的？
• RQ3 是否存在一个理论 $ T_1 \supseteq T $，其大小为 $ |T| + 2^\theta $，使得所有大小大于 $ \lambda $ 的模型的 $ \tau(T) $-约化均为 $ \lambda^+ $-饱和？
• RQ4 用于刻画的两种不同稳定性概念之间有何关系，以及它们与饱和性有何关联？
• RQ5 模型论中 $ L^1_{<\theta} $ 的意义是什么？它与迭代超幂有何关系？

主要发现

• 论文通过两种不同的稳定性概念刻画了 $ L_{\theta,\theta} $-理论，使得其超幂为饱和，其中一种概念推广了凯斯勒序。
• 证明了存在一个大小为 $ |T| + 2^\theta $ 的理论 $ T_1 \supseteq T $，使得所有大小大于 $ \lambda $ 的模型的 $ \tau(T) $-约化均为 $ \lambda^+ $-饱和。
• $ L^1_{<\theta} $ 逻辑满足经典模型论定理的类比，强化了其作为自然无穷逻辑的地位。
• 两个模型在 $ L^1_{<\theta} $ 中等价当且仅当它们沿 $ \omega $-序列的 $ \theta $-完备超滤子的迭代超幂同构。
• $ L^1_{<\theta} $-等价性与迭代超幂之间的联系，为这一无穷逻辑设定下的初等等价提供了新刻画。
• 结果表明，当 $ \theta $ 为紧致基数时，超越基本超积定理的更深层次模型论结构可被推广至 $ L_{\theta,\theta} $。