关于 NIP 理论中转移映射与 Morley 乘积的注记
逻辑
2024-02-09 v2
摘要
在一篇重要但尚未发表的研究笔记中，Ben Yaacov 描述了如何将全局 Keisler 测度转化为随机化怪物模型上的一个型。这种转移方法允许人们将涉及测度的问题转化为（连续逻辑中）涉及型的问题。假设 是 NIP 的，我们证明对于有限可满足测度，Morley 乘积与转移映射可交换。我们刻画了在随机化中，对于成对的全局有限可满足型，Morley 乘积何时与限制映射可交换。最后，我们在此背景下对 Ellis 半群作了一些简要的观察。
引用
@article{arxiv.2402.04202,
title = {A note on transfer maps and the Morley product in NIP theories},
author = {Kyle Gannon},
journal= {arXiv preprint arXiv:2402.04202},
year = {2024}
}