Invariant measures in simple and in small theories

DOI10.1142/S0219061322500258MaRDI QIDQ6038482zbMATH OpenOpenAlexWikidataFDO

Authors Artem Chernikov, Ehud Hrushovski, Alex Kruckman, Krzysztof Krupiński, Slavko Moconja, Anand Pillay, Nicholas Ramsey

Publication date 2 May 2023

Published in Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

Grothendieck ringdefinable groupparadoxical decompositionKeisler measuresimple theorydefinable amenability

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Abstract: We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, 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, and nontriviality of the graded Grothendieck ring.

Cites work

• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 754210 (Why is no real title available?)
• scientific article; zbMATH DE number 1912564 (Why is no real title available?)
• scientific article; zbMATH DE number 2220970 (Why is no real title available?)
• A group version of stable regularity
• COVERINGS OF GROUPS AND TYPES
• Classification theory and the number of non-isomorphic models.
• Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings
• DOMINATION AND REGULARITY
• Definably amenable NIP groups
• External definability and groups in NIP theories
• Forking and dividing in NTP\(_{2}\) theories
• Forking in Simple Unstable Theories
• Generic structures and simple theories
• Generically stable and smooth measures in NIP theories
• Groups definable in local fields and pseudo-finite fields
• Groups, measures, and the NIP
• Measures and forking
• On NIP and invariant measures
• Simple theories
• Simple unstable theories
• Simplicity theory
• Stable group theory and approximate subgroups

Cited in

(4)

• Invariant Keisler measures for -categorical structures
• Automorphism groups of prime models, and invariant measures
• Measures on perfect \(e\)-free PAC fields
• Forking and invariant measures in NIP theories

This page was built for publication: Invariant measures in simple and in small theories

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