Dependent first order theories, continued
Logic
2013-02-20 v2
Abstract
A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being dependent. Another one justifies the cofinality restriction in the theorem (from a previous work) saying that pairwise perpendicular indiscernible sequences, can have arbitrary dual-cofinalities in some models containing them.
Cite
@article{arxiv.math/0406440,
title = {Dependent first order theories, continued},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0406440},
year = {2013}
}
Comments
65 pages