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

Preprint Number 518

Previous Next Preprint server

518. Pierre Simon
Invariant types in dp-minimal theories

Submission date: 16 October 2012


We try to analyse general invariant types in dp-minimal theories in terms of finitely satisfiable and definable ones. We prove in particular that an invariant dp-minimal type is either finitely satisfiable or definable and that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium directionality. In an appendix with Sergei Starchenko, we prove that in dp-minimal theories with Skolem functions, every non-forking formula extends to a definable type.

Mathematics Subject Classification: 03C45

Keywords and phrases:

Full text arXiv 1210.4479: pdf, ps.

Last updated: November 8 2012 12:13 Please send your corrections to: