Publications > Preprint server > Preprint Number 212
Preprint Number 212
212. Vincent Guingona Dependence and Isolated Extensions E-mail: Submission date: 6 November 2009. Abstract: In this paper, we show that φ is a dependent formula if and only if all φ-types have an extension to a φ-isolated φ-type that is an elementary φ-extension (see Definition 2.3 in the paper). Moreover, we show that the domain of this extension adds at most 2 times the independence dimension of φ new elements to the domain of the original φ-type. We give corollaries to this theorem and discuss parallels to the stable setting. Mathematics Subject Classification: 03C45 Keywords and phrases: NIP, dependent, isolated, types |
Last updated: March 23 2021 10:21 | Please send your corrections to: |