Switch to: Citations

References in:

On generically stable types in dependent theories

Alexander Usvyatsov

Journal of Symbolic Logic 74 (1):216-250 (2009)

Add references

You must login to add references.

(1 other version)Remarks on Structure Theorems for $\omega_{1}$ -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.details We give a characterization for those stable theories whose $\omega_{1}$-saturated models have a "Shelah-style" structure theorem. We use this characterization to prove that if a theory is countable, stable, and 1-based without dop or didip, then its $\omega_{1}$-saturated models have a structure theorem. Prior to us, this is proved in a paper of Hart, Pillay, and Starchenko . Some other remarks are also included. Download Export citation Bookmark 3 citations
Measures and forking.H. Jerome Keisler - 1987 - Annals of Pure and Applied Logic 34 (2):119-169.details Shelah's theory of forking is generalized in a way which deals with measures instead of complete types. This allows us to extend the method of forking from the class of stable theories to the larger class of theories which do not have the independence property. When restricted to the special case of stable theories, this paper reduces to a reformulation of the classical approach. However, it goes beyond the classical approach in the case of unstable theories. Methods from ordinary forking (...) Download Export citation Bookmark 19 citations

1