Dependent first order theories, continued
Saharon Shelah
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.
Create a lesson
Related papers
On separable pairs of fields and beautiful pairs of separably closed valued fields
Zhengqing He, Martin Hils
Fragments of SRP, the nonstationary ideal, and diagonal reflection
Gunter Fuchs, Hiroshi Sakai
Functional Projection and Complexity Reduction
Vera Fischer, Yurii Khomskii, Yipu Li et al.
On the foundations of logic and probability, II. Modal probability spaces
Loic Cosyns
Linear Logic via algebra I: Girard algebras
Paolo Agliano, Mitar Nedeljkovic
Proper varieties of distributive l-pregroups are periodic
Nikolaos Galatos, Simon Santschi