[论文解读] Measures and stability in a model, revisited

Christian d’Elbée, K. Gannon|arXiv (Cornell University)|Jan 1, 2026

Advanced Topology and Set Theory被引用 0

一句话总结

该论文分析模型中稳定公式的局部Keisler测度，证明它们分解为类型的加权和，确立在此设定下Morley积的交换律，并通过泛函分析方法显示评估映射满足双极限性质。

ABSTRACT

This article is written in celebration of the 8th Kazakh-French Logical Colloquium. We expand on an unpublished research note of the second author. We record some results concerning local Keisler measures with respect to a formula which is stable in a model. We prove that in this context, every local Keisler measure on the associated local type space is a weighted sum of (at most countably many) types. Using this observation, we give an elementary proof of the commutativity of the Morley product in this context. We then give a functional analytic proof that the double limit property lifts to the appropriate evaluation map on pairs of local measures. We end with some comments on the NOP and local measures in the (properly) stable context.

研究动机与目标

• 将稳定性理论扩展到稳定-在-模型公式的情境。
• 证明每个varphi-测度是varphi-types的加权和（可数）。
• 确立稳定-在-模型测度的Morley积的交换性。
• 证明评估映射满足双极限性质。
• 讨论对NOP及稳定情境中的局部测度的影响。

提出的方法

• 使用Sobczyk–Hammer分解将测度表示为强连续部分与{0,1}-值部分的和。
• 证明当varphi在M中稳定时不存在强连续部分，从而得到varphi-types的和。
• 为稳定varphi及varphi-opp测度定义Morley积，并证明 (mu⊗nu)(varphi)= (nu⊗mu)(varphi)。
• 在测度上表示评估映射E_varphi，并通过Grothendieck的双极限定理和Krein–Smulian定理证明它具有双极限性质。
• 给出相关稳定性/双极限结果的一个初等证明以及基于VC定理的替代证明。
• 讨论随机化及稳定性传递到连续逻辑设定的情况。

实验结果

研究问题

• RQ1 在M中varphi(x;y)的稳定性是否意味着在M上的每个varphi-测度都是至多可数个varphi-types的加权和？
• RQ2 对于在-M中稳定的varphi-测度与varphi^{opp}-测度，Morley积是否交换？
• RQ3 在局部测度对的varphi评估映射E_varphi是否满足双极限性质？
• RQ4 这些结果对NOP及稳定情境中的局部测度有何影响？

主要发现

• 若varphi(x;y)在M中稳定，则在M上的每个varphi-测度都是varphi-types的有限加权和（至多可数个）。
• Morley积对于在-M中稳定的varphi-测度与varphi^{opp}-测度是交换的。
• 评估映射E_varphi是良定的，并且通过泛函分析方法满足双极限性质。
• 这些结果推广到稳定公式，并与模型的随机化及VC理论视角下的稳定性相关。