GENERIC STABILITY AND STABILITY

被引：5

作者：

Adler, Hans ^{[1
]}

Casanovas, Enrique ^{[2
]}

Pillay, Anand ^{[3
]}

机构：

[1] Kurt Godel Res Ctr Math Log, A-1090 Vienna, Austria

[2] Univ Barcelona, Dept Log Hist & Filosofia Ciencia, Barcelona 08001, Spain

[3] Univ Notre Dame, Dept Math, Notre Dame, IN 46556 USA

来源：

JOURNAL OF SYMBOLIC LOGIC | 2014年 / 79卷 / 01期

基金：

英国工程与自然科学研究理事会;

关键词：

Stable types; generically stable types; strong germs;

D O I：

10.1017/jsl.2013.29

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove two results about generically stable types p in arbitrary theories. The first, on existence of strong germs, generalizes results from [2] on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of p((m)) for all m. We use the latter result to answer in full generality a question posed by Hasson and Onshuus: If p(x) is an element of S(B) is stable and does not fork over A then p broken vertical bar A is stable.

引用

页码：179 / 185

页数：7

共 7 条

[1]

Casanovas E., 2011, LECT NOTES MODEL THE

[2]

Haskell D., 2008, Lecture Notes in Logic, V30

[3] STABLE TYPES IN ROSY THEORIES [J].

Hasson, Assaf ;

Onshuus, Alf .

JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (04) :1211-1230

[4] On NIP and invariant measures [J].

Hrushovski, Ehud ;

Pillay, Anand .

JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, 2011, 13 (04) :1005-1061

[5]

Pillay A, 2011, CRM PROC & LECT NOTE, V53, P189

[6]

POIZAT B, 2000, UNIVERSITEX, pR23

[7]

Shelah S., 2004, SCI MATH JAPONICAE, V59, P265

← 1 →