A Guide to NIP Theories

DOI10.1017/CBO9781107415133zbMath1332.03001arXiv1208.3944MaRDI QIDQ5255892

Publication date: 22 June 2015

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

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Other classical first-order model theory (03C68)

Related Items (only showing first 100 items - show all)

Structure and regularity for subsets of groups with finite VC-dimension ⋮ Ordered fields dense in their real closure and definable convex valuations ⋮ Externally definable quotients and NIP expansions of the real ordered additive group ⋮ Dp-minimal integral domains ⋮ On stably pointed varieties and generically stable groups in ACVF ⋮ Vapnik-Chervonenkis dimension and density on Johnson and Hamming graphs ⋮ BOOLEAN TYPES IN DEPENDENT THEORIES ⋮ Definable convolution and idempotent Keisler measures ⋮ Probabilistically-like nilpotent groups ⋮ Definable groups in dense pairs of geometric structures ⋮ Interpreting the monadic second order theory of one successor in expansions of the real line ⋮ MODEL THEORY AND COMBINATORICS OF BANNED SEQUENCES ⋮ ON NON-COMPACT p-ADIC DEFINABLE GROUPS ⋮ Sequential approximations for types and Keisler measures ⋮ Automata and tame expansions of \((\mathbb{Z}, +)\) ⋮ On the proof of elimination of imaginaries in algebraically closed valued fields ⋮ The domination monoid in o-minimal theories ⋮ Distality in valued fields and related structures ⋮ Non-forking and preservation of NIP and dp-rank ⋮ Dp-finite fields. I(A): The infinitesimals ⋮ Dp-finite fields. I(B): Positive characteristic ⋮ Almost group theory ⋮ Definably topological dynamics of \(p\)-adic algebraic groups ⋮ On \(\omega \)-categorical groups and rings of finite burden ⋮ Interpretable fields in various valued fields ⋮ Wild theories with o-minimal open core ⋮ On expansions of \((\mathbf{Z},+,0)\) ⋮ HAMEL SPACES AND DISTAL EXPANSIONS ⋮ A wild model of linear arithmetic and discretely ordered modules ⋮ Distal and non‐distal behavior in pairs ⋮ STABILIZERS, GROUPS WITH -GENERICS, AND PRC FIELDS ⋮ DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES ⋮ DEFINABLE TOPOLOGICAL DYNAMICS ⋮ The classification of dp-minimal and dp-small fields ⋮ Definable V-topologies, Henselianity and NIP ⋮ On the Descriptive Power of Probability Logic ⋮ Structure and enumeration theorems for hereditary properties in finite relational languages ⋮ Profinite groups with NIP theory andp-adic analytic groups ⋮ Regular partitions of gentle graphs ⋮ Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists ⋮ Amenability, definable groups, and automorphism groups ⋮ Eliminating field quantifiers in strongly dependent henselian fields ⋮ Some Remarks on dp-Minimal Groups ⋮ Pairs of theories satisfying a Mordell–Lang condition ⋮ Recent progress on definability of Henselian valuations ⋮ RAMSEY GROWTH IN SOME NIP STRUCTURES ⋮ 𝑉𝐶_{ℓ}-dimension and the jump to the fastest speed of a hereditary ℒ-property ⋮ Elementary classes of finite VC-dimension ⋮ THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES ⋮ THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ Definably amenable NIP groups ⋮ Definable connectedness of randomizations of groups ⋮ The dynamical hierarchy for Roelcke precompact Polish groups ⋮ Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures ⋮ Definable groups in models of Presburger arithmetic ⋮ Pseudofinite groups and VC-dimension ⋮ THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY ⋮ Model theory of finite and pseudofinite groups ⋮ On uniform definability of types over finite sets for NIP formulas ⋮ VC-sets and generic compact domination ⋮ Definable sets containing productsets in expansions of groups ⋮ Characterizations of monadic NIP ⋮ Forking in short and tame abstract elementary classes ⋮ Open core and small groups in dense pairs of topological structures ⋮ NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES ⋮ DP-MINIMAL VALUED FIELDS ⋮ DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES ⋮ DISTAL AND NON-DISTAL PAIRS ⋮ Remarks on generic stability in independent theories ⋮ Invariant types in NIP theories ⋮ How to avoid a compact set ⋮ A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets ⋮ THE DP-RANK OF ABELIAN GROUPS ⋮ LOCAL KEISLER MEASURES AND NIP FORMULAS ⋮ A tetrachotomy for expansions of the real ordered additive group ⋮ Product of invariant types modulo domination-equivalence ⋮ NIP Henselian valued fields ⋮ VC density of definable families over valued fields ⋮ Criteria for exact saturation and singular compactness ⋮ A note on “Regularity lemma for distal structures” ⋮ Automorphism groups of finite topological rank ⋮ A NEW DP-MINIMAL EXPANSION OF THE INTEGERS ⋮ A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS ⋮ Linear orders in NIP structures ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Onn-dependent groups and fields II ⋮ Pro-definability of spaces of definable types ⋮ On amalgamation in NTP\(_2\) theories and generically simple generics ⋮ Distality for the asymptotic couple of the field of logarithmic transseries ⋮ Small sets in dense pairs ⋮ DEFINABLE SETS OF BERKOVICH CURVES ⋮ DOMINATION AND REGULARITY ⋮ AROUND RUBIN’S “THEORIES OF LINEAR ORDER” ⋮ ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES ⋮ CLASSIFYING SPACES AND THE LASCAR GROUP ⋮ ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE ⋮ Topological fields with a generic derivation ⋮ Exact saturation in simple and NIP theories ⋮ On minimal flows and definable amenability in some distal NIP theories

This page was built for publication: A Guide to NIP Theories