期刊
BULLETIN OF SYMBOLIC LOGIC
卷 20, 期 4, 页码 491-496出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/bsl.2014.33
关键词
stable formula; order property; definable type; relative weak compactness
类别
资金
- Institut Universitaire de France
- ANR [ANR-11-JS01-008]
We point out how the Fundamental Theorem of Stability Theory, namely the equivalence between the non order property and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's Criteres de compacite from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据