An Example of Pi^0_3-complete Infinitary Rational Relation

Simple item page
dc.creatorFinkel, Olivier
dc.date2007-02-12
dc.date.accessioned2026-07-07T07:46:21Z
dc.date.available2026-07-07T07:46:21Z
dc.descriptionWe give in this paper an example of infinitary rational relation, accepted by a 2-tape Bü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.
dc.identifierhttps://arxiv.org/abs/math/0702334
dc.identifierhttp://arxiv.org/abs/math/0702334
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/123802
dc.subjectLogic
dc.subjectComputational Complexity
dc.subjectLogic in Computer Science
dc.titleAn Example of Pi^0_3-complete Infinitary Rational Relation
dc.typetext

Files

Collections

arXiv