Π 0 1 ENCODABILITY AND OMNISCIENT REDUCTIONS

Abstract : A set of integers A is computably encodable if every infinite set of integers has an infinite subset computing A. By a result of Solovay, the computably encodable sets are exactly the hyperarithmetic ones. In this paper, we extend this notion of computable encodability to subsets of the Baire space and we characterize the Π01 encodable compact sets as those who admit a non-empty Σ11 subset. Thanks to this equivalence, we prove that weak weak König's lemma is not strongly computably reducible to Ramsey's theorem. This answers a question of Hirschfeldt and Jockusch.
Type de document :
Article dans une revue
Notre Dame Journal of Formal Logic, University of Notre Dame, 2016
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01397286
Contributeur : Benoit Monin <>
Soumis le : mardi 15 novembre 2016 - 16:08:59
Dernière modification le : jeudi 17 novembre 2016 - 01:04:34
Document(s) archivé(s) le : jeudi 16 mars 2017 - 18:10:55

Fichier

encodability_and_omniscient_re...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01397286, version 1

Collections

Citation

Benoit Monin, Ludovic Patey. Π 0 1 ENCODABILITY AND OMNISCIENT REDUCTIONS. Notre Dame Journal of Formal Logic, University of Notre Dame, 2016. 〈hal-01397286〉

Partager

Métriques

Consultations de la notice

133

Téléchargements de fichiers

40