The Complexity of Infinite Computations In Models of Set Theory - Archive ouverte HAL
Article Dans Une Revue Logical Methods in Computer Science Année : 2009

The Complexity of Infinite Computations In Models of Set Theory

Olivier Finkel
  • Fonction : Auteur
  • PersonId : 834645

Résumé

We prove the following surprising result: there exist a 1-counter Büchi automaton A and a 2-tape Büchi automaton B such that : (1) There is a model $V_1$ of ZFC in which the omega-language $L(A)$ and the infinitary rational relation $L(B)$ are ${\bf \Pi}_2^0$-sets, and (2) There is a model $V_2$ of ZFC in which the omega-language $L(A)$ and the infinitary rational relation $L(B)$ are analytic but non Borel sets. This shows that the topological complexity of an omega-language accepted by a 1-counter Büchi automaton or of an infinitary rational relation accepted by a 2-tape Büchi automaton is not determined by the axiomatic system ZFC. We show that a similar result holds for the class of languages of infinite pictures which are recognized by Büchi tiling systems. We infer from the proof of the above results an improvement of the lower bound of some decision problems recently studied in previous papers [Fin09a, Fin09b].
Fichier principal
Vignette du fichier
Set-Theory-inf-comp-revised-2-LMCS.pdf (207.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00422538 , version 1 (07-10-2009)
hal-00422538 , version 2 (13-10-2009)
hal-00422538 , version 3 (19-10-2009)

Identifiants

Citer

Olivier Finkel. The Complexity of Infinite Computations In Models of Set Theory. Logical Methods in Computer Science, 2009, 5 (4:4), pp.1-19. ⟨hal-00422538v3⟩
133 Consultations
280 Téléchargements

Altmetric

Partager

More