On Infinitary Rational Relations and Borel Sets

摘要

We prove in this paper that there exists some infinitary rational relations which are ∑_3~0-complete Borel sets and some others which are II~0_3-complete. These results give additional answers to questions of Simonnet [Sim92] and of Lescow and Thomas [Tho90, LT94].