Publications > Preprint server > Preprint Number 216
Preprint Number 216
216. Viktor Verbovskiy
On a classification of theories without the independence property
Submission date: 4 December 2009.
A theory is stable up to Δ if any Δ-type over a model has a few extensions up to complete types. I prove that a theory has no the independence property iff it is stable up to some Δ, where each φ(x;\bar y) \in Δ has no the independence property. Definability of one-types over a model of a stable up to Δ theory is investigated.
Mathematics Subject Classification: 03C07, 03C45, 03C64
Keywords and phrases: stability, the independence property, dependent theories, definability of types
|Last updated: December 10 2009 16:11||Please send your corrections to:|