- Full text PDF available (3)
- This year (0)
- Last 5 years (1)
- Last 10 years (3)
Journals and Conferences
We provide a general theorem implying that for a (strongly) dependent theory T the theory of sufficiently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the… (More)
We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly… (More)
We prove that for every Scott Set S there are S-saturated real closed fields and S-saturated models of Presburger arithmetic.