19 citations · 71 across the 32 of their papers we have counts for
1 paper · 1 filter
Artem Chernikov, Pierre Simon
We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stab…