Keisler measures in the wild

DOI10.2140/MT.2023.2.1MaRDI QIDQ6166185zbMATH OpenOpenAlexFDO

Authors

Publication date 2 August 2023

Published in Model Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.09137

zbMATH Keywords

generic stabilityneostabilityKeisler measures

Mathematics Subject Classification ID

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

Abstract: 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.

Cites work

• scientific article; zbMATH DE number 3816010 (Why is no real title available?)
• scientific article; zbMATH DE number 3383043 (Why is no real title available?)
• A Guide to NIP Theories
• ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES
• Definable convolution and idempotent Keisler measures
• Definable groups and compact p -adic Lie groups
• Definable regularity lemmas for NIP hypergraphs
• Definably amenable NIP groups
• Extensions of Continuous Functions from Dense Subspaces
• Extensions of measure
• Forking and dividing in Henson graphs
• Generic stability and stability
• Generically stable and smooth measures in NIP theories
• Groups, measures, and the NIP
• Measure theory
• Measures and forking
• Measures on the Random Graph
• NIP, Keisler measures and combinatorics
• On NIP and invariant measures
• On \(n\)-dependence
• Perfect images of absolute Souslin and absolute Borel Tychonoff spaces
• Randomizations of models as metric structures
• Remarks on generic stability in independent theories
• Sequential approximations for types and Keisler measures
• Structure and regularity for subsets of groups with finite VC-dimension

Cited in

(1)

• Remarks on convergence of Morley sequences

This page was built for publication: Keisler measures in the wild

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166185)