关于无穷有理关系的拓扑复杂性
计算机科学中的逻辑
2008-12-18 v1 计算复杂性
逻辑
摘要
本文证明了存在一些无穷有理关系，它们是解析集但非 Borel 集，从而回答了 Simonnet [Automates et Théorie Descriptive, 博士论文，巴黎第七大学，1992 年 3 月] 提出的一个问题。
引用
@article{arxiv.0803.1841,
title = {On the Topological Complexity of Infinitary Rational Relations},
author = {Olivier Finkel},
journal= {arXiv preprint arXiv:0803.1841},
year = {2008}
}