STABLE TYPES IN ROSY THEORIES

被引：5

作者：

Hasson, Assaf ^{[1
]}

Onshuus, Alf ^{[2
]}

机构：

[1] Univ Oxford, Inst Math, Oxford OX1 3LB, England

[2] Univ Los Andes, Dept Matemat, Bogota, Colombia

来源：

JOURNAL OF SYMBOLIC LOGIC | 2010年 / 75卷 / 04期

基金：

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

关键词：

MODEL-THEORY; FORKING; SETS;

D O I：

10.2178/jsl/1286198144

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We study the behaviour of stable types in rosy theories The main technical result is that a non (sic) forking extension of an unstable type is unstable We apply this to show that a rosy group with a (sic) generic stable type is stable In the context of super rosy theories of finite rank we conclude that non trivial stable types of U-(sic) rank 1 must arise from definable stable sets

引用

页码：1211 / 1230

页数：20

共 22 条

[1]

BULCHLER S, 1988, T AM MATH SOC, V307, P411

[2] Model theory of difference fields [J].