External definability and groups in NIP theories

2014/06/10 by Artem Chernikov, Anand Pillay, Pierre Simon · 6 citations
Computer Science · Mathematics · #semigroups and automata theory #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory

paper · doi:10.1112/jlms/jdu019

Abstract

We prove that many properties and invariants of definable groups in NIP theories (i.e. theories without the independence property), such as definable amenability, G / G 00 , etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M ext , of a model M. In the light of these results, we continue the study of the ‘definable topological dynamics’ of groups in NIP theories. In particular, we prove the Ellis group conjecture relating the Ellis group to G / G 00 in some new cases, including definably amenable groups in o-minimal structures.

Citations

• Dependent first order theories, continued
• Some model theory of SL(2,R)
• Externally definable sets and dependent pairs

Cited by

• Generalised Bohr compactification and model-theoretic connected components
• Definable Topological Dynamics of SL₂(ℂ((t))
• Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
• Upside down and backwards
• Some model theory and topological dynamics of p-adic algebraic groups
• Fragility Spectrum: Measuring Resilience in Model-Theoretic Properties under Language Expansions

Related

• Externally definable fsg groups in NIP theories
• Externally definable sets and dependent pairs II
• Definably amenable NIP groups
• Topological dynamics and NIP fields
• On minimal flows and definable amenability in some distal NIP theories