期刊
ANNALS OF PURE AND APPLIED LOGIC
卷 164, 期 3, 页码 294-318出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.apal.2012.10.015
关键词
NIP; Distal; Stable; Keisler measures; Invariant types; VC-dimension
We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of 'pure instability' that we call 'distality' in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable part of p and define a notion of stable independence which is implied by non-forking and has bounded weight. (c) 2012 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据