Notre Dame Journal of Formal Logic

Π10-Encodability and Omniscient Reductions

Benoit Monin and Ludovic Patey

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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 article, we extend this notion of computable encodability to subsets of the Baire space, and we characterize the Π10-encodable compact sets as those which admit a nonempty Σ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.

Article information

Source
Notre Dame J. Formal Logic, Volume 60, Number 1 (2019), 1-12.

Dates
Received: 3 March 2016
Accepted: 31 October 2016
First available in Project Euclid: 18 January 2019

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1547802298

Digital Object Identifier
doi:10.1215/00294527-2018-0020

Mathematical Reviews number (MathSciNet)
MR3911103

Zentralblatt MATH identifier
07060305

Subjects
Primary: 03D30: Other degrees and reducibilities
Secondary: 03D65: Higher-type and set recursion theory

Keywords
reverse mathematics computable encodability Ramsey’s theory computable reduction higher recursion theory

Citation

Monin, Benoit; Patey, Ludovic. $\Pi ^{0}_{1}$ -Encodability and Omniscient Reductions. Notre Dame J. Formal Logic 60 (2019), no. 1, 1--12. doi:10.1215/00294527-2018-0020. https://projecteuclid.org/euclid.ndjfl/1547802298


Export citation

References

  • [1] Brattka, V., and T. Rakotoniaina, “On the uniform computational content of Ramsey’s theorem,” Journal of Symbolic Logic, vol. 82 (2017), pp. 1278–316.
  • [2] Cholak, P. A., C. G. Jockusch, Jr., and T. A. Slaman, “On the strength of Ramsey’s theorem for pairs,” Journal of Symbolic Logic, vol. 66 (2001), pp. 1–55.
  • [3] Chong, C. T., and L. Yu, Recursion Theory: Computational Aspects of Definability, vol. 8 of De Gruyter Series in Logic and its Applications, De Gruyter, Berlin, 2015.
  • [4] Dorais, F. G., D. D. Dzhafarov, J. L. Hirst, J. R. Mileti, and P. Shafer, “On uniform relationships between combinatorial problems,” Transactions of the American Mathematical Society, vol. 368 (2016), pp. 1321–59.
  • [5] Downey, R. G., and D. R. Hirschfeldt, Algorithmic Randomness and Complexity, Springer, New York, 2010.
  • [6] Dzhafarov, D. D., and C. G. Jockusch, Jr., “Ramsey’s theorem and cone avoidance,” Journal of Symbolic Logic, vol. 74 (2009), pp. 557–78.
  • [7] Dzhafarov, D. D., L. Patey, D. R. Solomon, and L. B. Westrick, “Ramsey’s theorem for singletons and strong computable reducibility,” Proceedings of the American Mathematical Society, vol. 145 (2017), pp. 1343–55.
  • [8] Galvin, F., and K. Prikry, “Borel sets and Ramsey’s theorem,” Journal of Symbolic Logic, vol. 38 (1973), pp. 193–98.
  • [9] Gandy, R. O., G. Kreisel, and W. W. Tait, “Set existence,” Bulletin L’Académie Polonaise des Science, Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 8 (1960), pp. 577–82.
  • [10] Groszek, M. J., and T. A. Slaman, “Moduli of computation,” conference lecture on Logic, Computability and Randomness, Buenos Aires, Argentina, 2007.
  • [11] Hinman, P. G., “A survey of Mučnik and Medvedev degrees,” Bulletin of Symbolic Logic, vol. 18 (2012), pp. 161–229.
  • [12] Hirschfeldt, D. R., and C. G. Jockusch, Jr., “On notions of computability-theoretic reduction between $\Pi^{1}_{2}$ principles,” Journal of Mathematical Logic, vol. 16 (2016), no. 1, art. ID 1650002.
  • [13] Hirschfeldt, D. R., C. G. Jockusch, Jr., B. Kjos-Hanssen, S. Lempp, and T. A. Slaman, “The strength of some combinatorial principles related to Ramsey’s theorem for pairs,” pp. 143–61 in Computational Prospects of Infinity, Part II: Presented Talks, vol. 15 of Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, World Scientific, Hackensack, NJ, 2008.
  • [14] Jockusch, C. G., Jr., “Ramsey’s theorem and recursion theory,” Journal of Symbolic Logic, vol. 37 (1972), pp. 268–80.
  • [15] Jockusch, C. G., Jr., and R. I. Soare, “$\Pi^{0}_{1}$ classes and degrees of theories,” Transactions of the American Mathematical Society, vol. 173 (1972), pp. 33–56.
  • [16] Jockusch, C. G., Jr., and R. I. Soare, “Encodability of Kleene’s $O$, Journal of Symbolic Logic, vol. 38 (1973), pp. 437–40.
  • [17] Montalbán, A., “Open questions in reverse mathematics,” Bulletin of Symbolic Logic, vol. 17 (2011), pp. 431–54.
  • [18] Moschovakis, Y. N., Descriptive Set Theory, 2nd edition, vol. 155 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, 2009.
  • [19] Nies, A., Computability and Randomness, vol. 51 of Oxford Logic Guides, Oxford University Press, Oxford, 2009.
  • [20] Patey, L., “The weakness of being cohesive, thin or free in reverse mathematics,” Israel Journal of Mathematics, vol. 216 (2016), pp. 905–55.
  • [21] Sacks, G. E., Degrees of Unsolvability, vol. 55 of Annals of Mathematics Studies, Princeton University Press, Princeton, 1963.
  • [22] Sacks, G. E., Higher Recursion Theory, Perspectives in Mathematical Logic, Springer, Berlin, 1990.
  • [23] Seetapun, D., and T. A. Slaman, “On the strength of Ramsey’s theorem,” Notre Dame Journal of Formal Logic, vol. 36 (1995), pp. 570–82.
  • [24] Shore, R. A., “Reverse mathematics: The playground of logic,” Bulletin of Symbolic Logic, vol. 16 (2010), pp. 378–402.
  • [25] Silver, J., “Every analytic set is Ramsey,” Journal of Symbolic Logic, vol. 35 (1970), pp. 60–64.
  • [26] Simpson, S. G., Subsystems of Second Order Arithmetic, 2nd edition, Perspectives in Logic, Cambridge University Press, Cambridge, 2009.
  • [27] Soare, R. I., “Sets with no subset of higher degree,” Journal of Symbolic Logic, vol. 34 (1969), pp. 53–56.
  • [28] Solovay, R. M., “Hyperarithmetically encodable sets,” Transactions of the American Mathematical Society, vol. 239 (1978), pp. 99–122.
  • [29] Spector, C., “Recursive well-orderings,” Journal of Symbolic Logic, vol. 20 (1955), pp. 151–63.