素模型的自同态群与不变测度
逻辑
2024-05-21 v1
摘要
我们将 Aut(M) 中（相对）可定义子集的概念推广至当 M 在 A 上为原子且强 ω-齐次时的情况下对应的 Aut(M/A)。我们讨论了在 Aut(M/A) 可定义子集的布尔代数上存在和唯一性不变测度的问题。例如，当 Th(M) 为稳定时，我们得到存在和唯一性。我们还讨论了这些可定义性概念与可定义 Galois 上的协同性以及微分 Galois 理论的兼容性。
引用
@article{arxiv.2405.11878,
title = {Automorphism groups of prime models, and invariant measures},
author = {Anand Pillay},
journal= {arXiv preprint arXiv:2405.11878},
year = {2024}
}
备注
16 pages