当前位置: X-MOL 学术J. Math. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Invariant measures in simple and in small theories
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2022-12-17 , DOI: 10.1142/s0219061322500258
Artem Chernikov 1 , Ehud Hrushovski 2 , Alex Kruckman 3 , Krzysztof Krupiński 4 , Slavko Moconja 5 , Anand Pillay 6 , Nicholas Ramsey 6
Affiliation  

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over but has μ-measure 0 for every automorphism invariant Keisler measure μ and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G. We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups.



中文翻译:

简单和小理论中的不变测度

我们给出了 (i) 一个带有公式(带有参数)的简单理论的例子,它不会分叉但是有μ- 对每个自同构不变的 Keisler 测度测量 0μ(ii) 一个可定义的组G在一个简单的理论中G不是绝对服从的,即不存在平移不变的凯斯勒测度G. 我们还讨论了离散群和可定义群的设置中的悖论分解,并证明了一些关于小理论的积极结果,包括可定义群的可定义适用性。

更新日期:2022-12-17
down
wechat
bug