On the Topological Complexity of Infinitary Rational Relations

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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éorie Descriptive, Ph. D. Thesis, Université Paris 7, March 1992].

Keywords

Logic in Computer Science, Computational Complexity, Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/212131

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0803.1841
 http://arxiv.org/abs/0803.1841
 RAIRO-Theoretical Informatics and Applications 37 (2) (2003) 105-113

Collections

arXiv