An Example of Pi^0_3-complete Infinitary Rational Relation
<|reference_start|>An Example of Pi^0_3-complete Infinitary Rational Relation: We give in this paper an example of infinitary rational relation, accepted by a 2-tape B\"{u}chi automaton, which is Pi^0_3-complete in the Borel hierarchy. Moreover the example of infinitary rational relation given in this paper has a very simple structure and can be easily described by its sections.<|reference_end|>
@article{finkel2007an,
    title={An Example of Pi^0_3-complete Infinitary Rational Relation},
    author={Olivier Finkel (LIP)},
    journal={arXiv preprint arXiv:math/0702334},
    year={2007},
    archivePrefix={arXiv},
    eprint={math/0702334},
    primaryClass={math.LO cs.CC cs.LO}
}