有限类型泛函的丰富层次结构
计算机科学中的逻辑
2015-07-01 v2
摘要
我们考虑使用完备可分度量空间作为基类型，对全连续泛函进行类型化层次结构研究。特别关注由P. Urysohn构造的所谓Urysohn空间。Urysohn空间的性质之一是每个其他可分度量空间都可以等距嵌入其中。我们讨论了为何Urysohn空间可被视为算法可能无限输出的通用模型。主要结果是，我们所有的类型化层次结构都可以逐类型地拓扑嵌入到Urysohn空间上的相应层次结构中。作为准备工作，我们证明了一个有效稠密性定理，该定理本身也具有独立意义。
引用
@article{arxiv.0909.1198,
title = {A rich hierarchy of functionals of finite types},
author = {Dag Normann},
journal= {arXiv preprint arXiv:0909.1198},
year = {2015}
}
备注
21 pages