5 papers
Local definable -theorem and a refinement
Gareth John Boxall, Charlotte Kestner, Tsinjo Rakotonarivo
We prove the definable -conjecture for NIP formulas in arbitrary first-order theories. We also prove a refinement and apply it to dense pairs.
The model theory of Commutative Near Vector Spaces
Karin-Therese Howell, Charlotte Kestner
In this paper we study near vector spaces over a commutative from a model theoretic point of view. In this context we show regular near vector spaces are in fact vector spaces.…
Theories with distal Shelah expansions
Gareth Boxall, Charlotte Kestner
We show that a complete first-order theory is distal provided it has a model such that the theory of the Shelah expansion of is distal.
The definable (p,q)-theorem for distal theories
Gareth Boxall, Charlotte Kestner
Answering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable fam…
Remarks on unimodularity
Charlotte Kestner, Anand Pillay
We clarify the relationship between unimodulariy in the sense of Hrushovski and measurability in the sense of Macpherson and Steinhorn, correcting some statements in the literature…