Related papers: On NIP and invariant measures
We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.
We introduce the notion of dependence, as a property of a Keisler measure, and generalize several results of [HPS13] on generically stable measures (in $NIP$ theories) to arbitrary theories. Among other things, we show that this notion is…
We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a…
We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of "NIP sets" in finite groups, i.e., subsets whose collection of left translates has…
We investigate the question of whether the restriction of a NIP type $p\in S(B)$ which does not fork over $A\subseteq B$ to $A$ is also NIP, and the analogous question for dp-rank. We show that if $B$ contains a Morley sequence $I$…
We prove that many properties and invariants of definable groups in NIP theories, 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…
This paper is a contribution to "neo-stability" type of result for abstract elementary classes. Under certain set theoretic assumptions, we propose a definition and a characterization of NIP in AECs. The class of AECs with NIP properly…
In an important (yet unpublished) research note, Ben Yaacov describes how to turn a global Keisler measures into a type over a monster model of the randomization. This transfer methods allow one to turn questions involving measures into…
We consider a class of non-locally compact groups on which one may define a left-invariant, finitely additive measure taking values in some finitely generated extension of the field $\mathbb{R}$ of real numbers. In particular, we recover…
This article is written in celebration of the 8th Kazakh-French Logical Colloquium. We expand on an unpublished research note of the second author. We record some results concerning local Keisler measures with respect to a formula which is…
We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types).
We investigate the semigroup of invariant types through the lens of Ellis theory; primarily focusing on definably amenable NIP groups. In this context, we observe that the collection of strong right $f$-generic types forms the unique…
We solve two problems from the paper "On maximal stable quotients of definable groups in NIP theories" by M. Haskel and A. Pillay, which concern maximal stable quotients of groups type-definable in NIP theories. The first result says that…
Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…
We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NIP field K, the theory of infinite dimensional non-degenerate…
Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{\omega_1\omega}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative to fixed relations and fixed non-permutation…
In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some…
In light of a gap found by Krupi\'{n}ski, we give a new proof of associativity for the Morley (or "nonforking") product of invariant measures in NIP theories.
The following question is proposed in [4, Question 1.20]: Let $G$ be a compact group, and suppose that $$\mathcal{N}_k(G) = \{(x1,\dots,x_{k+1}) \in G^{k+1} \;\|; [x_1,\dots, x_{k+1}] = 1\}$$ has positive Haar measure in $G^{k+1}$. Does $G$…
A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey finds the first examples of simple structures with formulas which do not fork over $\emptyset$ but are universally measure zero. In this article we…