Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 896

Preprint Number 896

Previous Next Preprint server

896. Silvain Rideau and Pierre Simon
Definable and invariant types in enrichments of NIP theories

Submission date: 24 July 2015.


Let T be an NIP L-theory and \widetilde{T} be an enrichment. We give a sufficient condition on \widetilde{T} such that for every type over a models of \widetilde{T} which is definable (respectively invariant), the underlying L-type is also definable (respectively invariant) as an L-type. Besides, we generalise to this relative setting work of Simon and Starchenko on the density of definable types among non forking types. These results are then applied to the Scanlon's model completion of valued differential fields.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1507.06863: pdf, ps. x

Last updated: March 23 2021 10:23 Please send your corrections to: