×

Keisler measures in the wild. (English) Zbl 07721464

Summary: We investigate Keisler measures in arbitrary theories. Our initial focus is on Borel definability. We show that when working over countable parameter sets in countable theories, Borel definable measures are closed under Morley products and satisfy associativity. However, we also demonstrate failures of both properties over uncountable parameter sets. In particular, we show that the Morley product of Borel definable types need not be Borel definable (correcting an erroneous result from the literature). We then study various notions of generic stability for Keisler measures and generalize several results from the NIP setting to arbitrary theories. We also prove some positive results for the class of frequency interpretation measures in arbitrary theories, namely, that such measures are closed under convex combinations and commute with all Borel definable measures. Finally, we construct the first example of a complete type which is definable and finitely satisfiable in a small model, but not finitely approximated over any small model.

MSC:

03C45 Classification theory, stability, and related concepts in model theory
03C95 Abstract model theory

References:

[1] 10.1017/jsl.2013.29 · Zbl 1338.03058 · doi:10.1017/jsl.2013.29
[2] 10.1112/jlms/50.3.417 · Zbl 0823.03016 · doi:10.1112/jlms/50.3.417
[3] 10.1142/S1793744209000080 · Zbl 1185.03068 · doi:10.1142/S1793744209000080
[4] ; Bhaskara Rao, K. P. S.; Bhaskara Rao, M., Theory of charges: a study of finitely additive measures. Pure and Applied Mathematics, 109 (1983) · Zbl 0516.28001
[5] 10.2307/2040816 · Zbl 0322.54008 · doi:10.2307/2040816
[6] 10.1007/s11856-022-2298-2 · Zbl 07533138 · doi:10.1007/s11856-022-2298-2
[7] 10.1090/jams/896 · Zbl 1522.03112 · doi:10.1090/jams/896
[8] 10.1093/qmath/haab011 · Zbl 1480.05098 · doi:10.1093/qmath/haab011
[9] 10.1215/00294527-2019-0002 · Zbl 1529.03198 · doi:10.1215/00294527-2019-0002
[10] 10.1007/978-1-4614-6956-8 · Zbl 1292.28002 · doi:10.1007/978-1-4614-6956-8
[11] 10.1215/00294527-2017-0016 · Zbl 1417.03229 · doi:10.1215/00294527-2017-0016
[12] 10.1016/j.apal.2019.102736 · Zbl 1532.03051 · doi:10.1016/j.apal.2019.102736
[13] 10.1017/jsl.2021.55 · Zbl 1509.03104 · doi:10.1017/jsl.2021.55
[14] 10.4171/jems/1111 · Zbl 07499437 · doi:10.4171/jems/1111
[15] 10.4064/fm133-12-2021 · Zbl 07523106 · doi:10.4064/fm133-12-2021
[16] 10.1017/CBO9780511551574 · doi:10.1017/CBO9780511551574
[17] 10.1016/S0166-8641(02)00356-5 · Zbl 1028.54034 · doi:10.1016/S0166-8641(02)00356-5
[18] 10.4171/JEMS/274 · Zbl 1220.03016 · doi:10.4171/JEMS/274
[19] 10.1090/S0894-0347-07-00558-9 · Zbl 1134.03024 · doi:10.1090/S0894-0347-07-00558-9
[20] 10.1090/S0002-9947-2012-05626-1 · Zbl 1294.03023 · doi:10.1090/S0002-9947-2012-05626-1
[21] 10.1090/gsm/008 · doi:10.1090/gsm/008
[22] 10.1016/0168-0072(87)90069-8 · Zbl 0633.03024 · doi:10.1016/0168-0072(87)90069-8
[23] 10.4064/fm-36-1-267-276 · Zbl 0039.05202 · doi:10.4064/fm-36-1-267-276
[24] 10.1007/978-3-662-21773-3 · doi:10.1007/978-3-662-21773-3
[25] 10.1112/jlms/jdn018 · Zbl 1153.03015 · doi:10.1112/jlms/jdn018
[26] ; Reed, Michael; Simon, Barry, Methods of modern mathematical physics, I : Functional analysis (1972) · Zbl 0242.46001
[27] 10.1017/CBO9781107415133 · Zbl 1332.03001 · doi:10.1017/CBO9781107415133
[28] ; Starchenko, Sergei, NIP, Keisler measures and combinatorics, Séminaire Bourbaki, 2015/2016. Astérisque, 390 (2017) · Zbl 1373.03057
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.