MODEL THEORETIC STABILITY AND DEFINABILITY OF TYPES, AFTER A. GROTHENDIECK
MODEL THEORETIC STABILITY AND DEFINABILITY OF TYPES, AFTER A. GROTHENDIECK
复制标题
A.格罗腾迪克之后的模型理论稳定性和类型的可定义性
DOI：
10.1017/bsl.2014.33
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Itay Ben
中科院分区：
文献类型：
--
作者：
Itay Ben
Abstract 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 “Critères de compacité” from 1952. The familiar forms for the defining formulae then follow using Mazur’s Lemma regarding weak convergence in Banach spaces.
