24 citations · 58 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015
Imaginaries and invariant types in existentially closed valued differential fields
Silvain Rideau
We answer two open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduce…
math.LO2015
Definable and invariant types in enrichments of NIP theories
Silvain Rideau, Pierre Simon
Let T be an NIP L-theory and T' be an enrichment. We give a sufficient condition on T' for the underlying L-type of any definable (respectively invariant) type over a model of T' t…