模型论稳定性与类型的可定义性——源自A. Grothendieck
逻辑
2015-01-12 v3 泛函分析
摘要
我们指出“稳定性理论基本定理”，即“无阶性质”与类型的可定义性之间的等价性（由Shelah在1970年代证明），实际上是Grothendieck 1952年“紧性准则”的直接推论。然后利用关于Banach空间中弱收敛的Mazur引理，得到定义公式的常见形式。
引用
@article{arxiv.1306.5852,
title = {Model theoretic stability and definability of types, after A. Grothendieck},
author = {Itaï Ben Yaacov},
journal= {arXiv preprint arXiv:1306.5852},
year = {2015}
}