On NIP and invariant measures

DOI10.4171/JEMS/274MaRDI QIDQ550563zbMATHOpenAlexFDO

Authors Ehud Hrushovski, Anand Pillay

Publication date 12 July 2011

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

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

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)

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.

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

Cites work

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

Cited in

(only showing first 100 items - show all)

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

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)