积分逻辑中的可均性、极端可均性、模型论稳定性与依赖性性质
逻辑
2016-07-12 v3
摘要
本文包含三个部分。首先，我们利用积分逻辑，通过不变测度研究并刻画了可均与极端可均拓扑半群。我们证明了拓扑半群的某些性质（如可均性及紧集上的不动点性质）的可定义性。其次，我们在积分逻辑框架下定义了型并发展了局部稳定性理论。对于稳定公式 ，我们证明了模型上所有完全 -型的可定义性，并由此推导出稳定性基本定理。第三，我们研究了测度论中的一个重要性质：Talagrand 稳定性。我们指出了 Talagrand 稳定性与依赖性性质（NIP）之间的联系，并证明了针对 NIP 公式的型的可定义性的测度论版本。
引用
@article{arxiv.1408.3699,
title = {Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic},
author = {Karim Khanaki},
journal= {arXiv preprint arXiv:1408.3699},
year = {2016}
}
备注
33 pages