Keisler measures in the wild

DOI10.2140/MT.2023.2.1arXiv2103.09137OpenAlexW4382048712MaRDI QIDQ6166185FDOQ6166185

Authors:

Publication date: 2 August 2023

Published in: Model Theory (Search for Journal in Brave)

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.

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)

Cites Work

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

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)