Invariant measures in simple and in small theories

DOI10.1142/S0219061322500258arXiv2105.07281OpenAlexW3162993642WikidataQ114072688 ScholiaQ114072688MaRDI QIDQ6038482FDOQ6038482

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)

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.

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)

Cites Work

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

Cited In (1)

• Measures on perfect \(e\)-free PAC fields

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)