论文信息 - On generically stable types in dependent theories - 字舞流文

On generically stable types in dependent theories

We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent theories. §

Alexander Usvyatsov

[1] Ya'acov Peterzil,et al. Groups, measures, and the NIP , 2006 .

[2] Alfred Dolich. Forking and independence in o-minimal theories , 2004, Journal of Symbolic Logic.

[3] Bruno Poizat,et al. An Introduction to Forking , 1979, J. Symb. Log..

[4] Saharon Shelah. Dependent first order theories, continued , 2004 .

[5] S. Shelah. CLASSIFICATION THEORY FOR ELEMENTARY CLASSES WITH THE DEPENDENCE PROPERTY-A MODEST BEGINNING , 2004 .

[7] H. Jerome Keisler. Measures and forking , 1987, Ann. Pure Appl. Log..

[8] Hans Adler,et al. Introduction to theories without the independence property , 2008 .

[9] Saharon Shelah,et al. Strongly dependent theories , 2005, math/0504197.

[10] Alf Onshuus,et al. Orthogonality and domination in unstable theories , 2009 .

[11] Deirdre Haskell,et al. Stable Domination and Independence in Algebraically Closed Valued Fields , 2005, math/0511310.

[12] Alf Onshuus,et al. A note on stable sets, groups, and theories with NIP , 2007, Math. Log. Q..

[13] Tapani Hyttinen. Remarks on Structure Theorems for ω1-Saturated Models , 1995, Notre Dame J. Formal Log..