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

Preprint Number 216

Previous Next Preprint server

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

Full text: pdf, dvi, ps.

Last updated: December 10 2009 16:11 Please send your corrections to: