activity
20032022
most citedVapnik-Chervonenkis density in some theories without the independence property, II

18 citations · 32 across the 7 of their papers we have counts for

collaborators

7 papers

math.LO2022★ 2 cited

Residue field domination in some henselian valued fields

Clifton Ealy, Deirdre Haskell, Pierre Simon

We generalize previous results about stable domination and residue field domination to henselian valued fields of equicharacteristic 0 with bounded Galois group, and we provide an…

math.LO2018★ 1 cited

Real closed valued fields with analytic structure

Pablo Cubides Kovacsics, Deirdre Haskell

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages…

math.LO2017★ 11 cited

Residue field domination in real closed valued fields

Clifton Ealy, Deirdre Haskell, Jana Maříková

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field…

math.LO2011

Unexpected imaginaries in valued fields with analytic structure

Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in…

math.LO2011★ 18 cited

Vapnik-Chervonenkis density in some theories without the independence property, II

M. Aschenbrenner, A. Dolich, D. Haskell +2

We study the Vapnik-Chervonenkis (VC) density of definable families in certain stable first-order theories. In particular we obtain uniform bounds on VC density of definable famili…

math.LO2005

Stable domination and independence in algebraically closed valued fields

Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part'…