On the Topological Complexity of Infinitary Rational Relations
Équipe de Logique Mathématique,
U.F.R. de Mathématiques, Université Paris-7, 2 place Jussieu, 75251
Cedex 05, France;
Accepted: May 2003
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 .
Mathematics Subject Classification: 68Q45 / 03D05 / 03D55 / 03E15
Key words: Infinitary rational relations / topological properties / Borel and analytic sets.
© EDP Sciences, 2003