On NIP and invariant measures

DOI10.4171/JEMS/274zbMATH Open1220.03016arXiv0710.2330OpenAlexW2134988756MaRDI QIDQ550563FDOQ550563

Authors: Ehud Hrushovski, Anand Pillay 

Publication date: 12 July 2011

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Abstract: We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p=tp(b/A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd(A)$ (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000}=G^{00}$ for $G$ definably amenable, (iii) definitions, characterizations and properties of "generically stable" types and groups (iv) uniqueness of translation invariant Keisler measures on groups with finitely satisfiable generics (vi) A proof of the compact domination conjecture for definably compact commutative groups in $o$-minimal expansions of real closed fields.

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

Recommendations

• Groups, measures, and the NIP
• On generically stable types in dependent theories
• Generically stable and smooth measures in NIP theories
• Definably amenable NIP groups
• Invariant types in NIP theories

zbMATH Keywords

forkingNIPdefinable groupso-minimal expansions of real closed fieldsKeisler measuresLascar strong types

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Definable sets in algebraically closed valued fields: elimination of imaginaries
• O-minimal spectra, infinitesimal subgroups and cohomology
• Stable domination and independence in algebraically closed valued fields
• Forking and dividing in NTP\(_{2}\) theories
• DEFINABLY COMPACT ABELIAN GROUPS
• A descending chain condition for groups definable in o-minimal structures
• Supersimple theories
• Coordinatisation and canonical bases in simple theories
• Model theoretic connected components of groups
• Forking and independence in o-minimal theories
• Paires de structures O-minimales
• Embedded o-minimal structures

Cited In (98)

• Approximate subgroups with bounded VC-dimension
• Around definable types in \(p\)-adically closed fields
• Sequential approximations for types and Keisler measures
• Invariant measures in simple and in small theories
• On minimal flows and definable amenability in some distal NIP theories
• Keisler measures in the wild
• Approximate equivalence relations
• Topological properties of definable sets in ordered Abelian groups of burden 2
• Remarks on convergence of Morley sequences
• ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS
• RAMSEY GROWTH IN SOME NIP STRUCTURES
• Glivenko-Cantelli classes and \textit{NIP} formulas
• An invitation to extension domination
• Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures
• Higher amalgamation properties in measured structures
• Non-forking and preservation of NIP and dp-rank
• A fixed-point theorem for definably amenable groups
• Minimal stable types in Banach spaces
• Definable convolution and idempotent Keisler measures. II.
• Orthogonal decomposition of definable groups
• The domination monoid in o-minimal theories
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• A note on fsg$\text{fsg}$ groups in p‐adically closed fields
• The amalgamation property for automorphisms of ordered abelian groups
• Some Themes Around First Order Theories Without the Independence Property
• A short note on groups in separably closed valued fields
• Imaginaries, invariant types and pseudo \(p\)-adically closed fields
• ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES
• Definably compact groups definable in real closed fields
• ON MODEL-THEORETIC CONNECTED GROUPS
• Topologizing interpretable groups in \(p\)-adically closed fields
• Forking and dividing in fields with several orderings and valuations
• Topological dynamics and NIP fields
• Invariance results for definable extensions of groups
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Model Theory in Algebra, Analysis and Arithmetic: A Preface
• Amenability, definable groups, and automorphism groups
• On some dynamical aspects of NIP theories
• A reduction to the compact case for groups definable in o-minimal structures
• Some model theory and topological dynamics of $p$-adic algebraic groups
• Definable groups as homomorphic images of semi-linear and field-definable groups
• An independence theorem for \(\mathrm{NTP}_{2}\) theories
• Structure and regularity for subsets of groups with finite VC-dimension
• Consistent amalgamation for þ-forking
• Strict independence
• Stable group theory and approximate subgroups
• External definability and groups in NIP theories
• Finding generically stable measures
• Remarks on generic stability in independent theories
• Generic stability, forking, and thorn-forking
• Model theoretic aspects of the Ellis semigroup
• On \(n\)-dependence
• On stably pointed varieties and generically stable groups in ACVF
• ON THE NUMBER OF DEDEKIND CUTS AND TWO-CARDINAL MODELS OF DEPENDENT THEORIES
• Generically stable and smooth measures in NIP theories
• Pseudofinite groups and VC-dimension
• Cohomology of algebraic varieties over non-archimedean fields
• Definable convolution and idempotent Keisler measures
• Definable groups in models of Presburger arithmetic
• DOMINATION AND REGULARITY
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• On \(\omega\)-categorical groups and rings with NIP
• A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
• Generic stability and stability
• On \(\omega \)-categorical, generically stable groups
• Groups, measures, and the NIP
• Connected components of definable groups and o-minimality. I
• STABILIZERS, GROUPS WITH -GENERICS, AND PRC FIELDS
• Boundedness and absoluteness of some dynamical invariants in model theory
• Externally definable sets and dependent pairs II
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• On compactifications and the topological dynamics of definable groups
• Theories without the tree property of the second kind
• Some model theory of SL(2,R)
• Asymmetric regular types
• Definably amenable NIP groups
• Stable domination and weight
• Bounded orbits and measures on a group
• Model theoretic connected components of groups
• Compact domination for groups definable in linear o-minimal structures
• Fields interpretable in rosy theories
• One-basedness and groups of the form \(G/G ^{00}\)
• Approximate subgroups
• Rosenthal compacta and NIP formulas
• Vapnik-Chervonenkis density in some theories without the independence property. II
• Weight and measure in NIP theories
• LOCAL KEISLER MEASURES AND NIP FORMULAS
• Connected components of definable groups, and o-minimality. II.
• On the proof of elimination of imaginaries in algebraically closed valued fields
• On minimal flows, definably amenable groups, and o-minimality
• DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES
• A note on generically stable measures and fsg groups
• \(G\)-linear sets and torsion points in definably compact groups
• Dividing lines in unstable theories and subclasses of Baire 1 functions
• Generalised Bohr compactification and model-theoretic connected components
• On \(\omega\)-categorical, generically stable groups and rings
• On non-forking spectra
• VC-sets and generic compact domination

This page was built for publication: On NIP and invariant measures

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