无穷小 [0, 1]-值逻辑中的类型省略
逻辑
2019-05-31 v6
摘要
我们描述了一种针对度量结构的无穷小逻辑，其类似于 。我们表明，该逻辑能够表达若干在有限连续逻辑中无法表达的分析学概念。利用拓扑方法，我们证明了针对该无穷小逻辑的可数片段的类型省略定理。我们利用类型省略证明了一个双基数定理，从而强化了 Ben Yaacov 和 Iovino 关于 Banach 空间可分商空间的结果。
引用
@article{arxiv.1304.5208,
title = {Omitting types for infinitary [0, 1]-valued logic},
author = {Christopher J. Eagle},
journal= {arXiv preprint arXiv:1304.5208},
year = {2019}
}
备注
22 pages