We show that any formula with two free variables in a Vapnik–Chervonenkis (VC) minimal theory has VC-codensity at most 2. Modifying the argument slightly, we give a new proof of the fact that, in a VC-minimal theory where acleq= dcleq, the VC-codensity of a formula is at most the number of free variables (from the work of Aschenbrenner et al., the author, and Laskowski).

We introduce the notion of hereditary G-compactness. We provide a sufficient condition for a poset to not be hereditarily G-compact, which we use to show that any linear order is not hereditarily G-compact. Assuming that a long-standing conjecture about unstable NIP theories holds, this implies that an NIP theory is hereditarily G-compact if and only if it is stable -categorical theories). We show that if G is definable over A in a hereditarily G-compact theory, then \. We also include a (...) brief survey of sufficient conditions for G-compactness, with particular focus on those which can be used to prove or disprove hereditary G-compactness for some theories. (shrink)

In this paper, we study Vapnik‐Chervonenkis density (VC‐density) over indiscernible sequences (denoted VCind‐density). We answer an open question in [1], showing that VCind‐density is always integer valued. We also show that VCind‐density and dp‐rank coincide in the natural way.

We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.