Submission date: 15 March 2009. Revised 20 July 2010.

Abstract:

Generalising work of Berenstein, Dolich and Onshuus and of Gunaydin and Hieronymi, we give sufficient conditions for a theory T_P to inherit NIP from T, where T_P is an expansion of the theory T by a unary predicate P. We apply our result to a theory, studied by Belegradek and Zilber, of the real field with a subgroup of the unit circle.

Mathematics Subject Classification: 03C45

Keywords and phrases: NIP, lovely pairs, Lang property

Full text: pdf, dvi, ps (Version of 15 March 2009: pdf, dvi, ps).