2000 character limit reached
On the Topological Complexity of Infinitary Rational Relations
Published 12 Mar 2008 in cs.LO, cs.CC, and math.LO | (0803.1841v1)
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].
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.