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)

On minimal flows and definable amenability in some distal NIP theories ⋮ Type-definable NIP fields are Artin–Schreier closed ⋮ Strongly NIP almost real closed fields ⋮ Pathological examples of structures with o‐minimal open core ⋮ NIP ω$\omega$‐categorical structures: The rank 1 case ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ Companionability characterization for the expansion of an o-minimal theory by a dense subgroup ⋮ Burden in Henselian valued fields ⋮ Fractals and the monadic second order theory of one successor ⋮ Weakly binary expansions of dense meet‐trees ⋮ A note on fsg$\text{fsg}$ groups in p‐adically closed fields ⋮ Topological properties of definable sets in ordered Abelian groups of burden 2 ⋮ DISTALITY RANK ⋮ Characterizing NIP henselian fields ⋮ Topologizing interpretable groups in $p$-adically closed fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ Approximate subgroups with bounded VC-dimension ⋮ $\mathrm{SOP}_1$, $\mathrm{SOP}_2$, and antichain tree property ⋮ Worst-case expansions of complete theories ⋮ Kim-independence in positive logic ⋮ Henselianity in NIP $\mathbb{F}_p$-algebras ⋮ A family of dp-minimal expansions of $(\mathbb{Z}; +)$ ⋮ Keisler measures in the wild ⋮ Product-free sets in approximate subgroups of distal groups ⋮ The past and future of embedded finite model theory ⋮ THEORIES WITH DISTAL SHELAH EXPANSIONS ⋮ A definable $(p,q)$-theorem for NIP theories ⋮ An invitation to extension domination ⋮ 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

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