On the Topological Complexity of Infinitary Rational Relations
Logic in Computer Science
2008-12-18 v1 Computational Complexity
Logic
Abstract
We prove in this paper that there exists some infinitary rational relations which are analytic but non Borel sets, giving an answer to a question of Simonnet [Automates et Th\'eorie Descriptive, Ph. D. Thesis, Universit\'e Paris 7, March 1992].
Keywords
Cite
@article{arxiv.0803.1841,
title = {On the Topological Complexity of Infinitary Rational Relations},
author = {Olivier Finkel},
journal= {arXiv preprint arXiv:0803.1841},
year = {2008}
}