连续一阶逻辑与局部稳定性
逻辑
2014-02-10 v1
摘要
我们发展了连续一阶逻辑，这是\cite{Chang-Keisler:ContinuousModelTheory}中所述逻辑的一个变体。我们表明，该逻辑具有与开 Hausdorff cat 框架相同的表达能力，并因此扩展了用于 Banach 空间结构的 Henson 逻辑。最后，我们发展了局部稳定性理论，而该逻辑特别适用于此。
引用
@article{arxiv.0801.4303,
title = {Continuous first order logic and local stability},
author = {Itaï Ben Yaacov and Alexander Usvyatsov},
journal= {arXiv preprint arXiv:0801.4303},
year = {2014}
}