The Vitali Covering Theorem in the Weihrauch Lattice

  • Vasco Brattka
  • Guido Gherardi
  • Rupert Hölzl
  • Arno Pauly
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10010)


We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than what a related study by Giusto, Brown, and Simpson has revealed in the setting of reverse mathematics. In particular, different formulations of the Vitali Covering Theorem turn out to have different uniform computational content. These versions are either computable or closely related to uniform variants of Weak Weak Kőnig’s Lemma.


  1. 1.
    Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a uniform low basis theorem. Ann. Pure Appl. Logic 163, 986–1008 (2012). MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Brattka, V., Gherardi, G.: Effective choice and boundedness principles in computable analysis. Bull. Symbolic Logic 17(1), 73–117 (2011). MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Brattka, V., Gherardi, G.: Weihrauch degrees, omniscience principles and weak computability. J. Symbolic Logic 76(1), 143–176 (2011). MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Brattka, V., Gherardi, G., Hölzl, R.: Las Vegas computability and algorithmic randomness. In: Mayr, E.W., Ollinger, N. (eds.) 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Leibniz International Proceedings in Informatics (LIPIcs), vol. 30, pp. 130–142. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2015).
  5. 5.
    Brattka, V., Gherardi, G., Hölzl, R.: Probabilistic computability and choice. Inf. Comput. 242, 249–286 (2015). MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Brattka, V., Gherardi, G., Marcone, A.: The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Ann. Pure Appl. Logic 163, 623–655 (2012). MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Brattka, V., Hendtlass, M., Kreuzer, A.P.: On the uniform computational content of the Baire category theorem. Notre Dame J. Formal Logic (2016).
  8. 8.
    Brattka, V., Pauly, A.: Computation with advice. In: Zheng, X., Zhong, N. (eds.) CCA 2010, Proceedings of the Seventh International Conference on Computability and Complexity in Analysis, Electronic Proceedings in Theoretical Computer Science, pp. 41–55 (2010).
  9. 9.
    Brattka, V., Rakotoniaina, T.: On the uniform computational content of Ramsey’s theorem. arXiv:1508.00471 (2015)
  10. 10.
    Brown, D.K., Giusto, M., Simpson, S.G.: Vitali’s theorem and WWKL. Arch. Math. Logic 41(2), 191–206 (2002). MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Diener, H., Hedin, A.: The Vitali covering theorem in constructive mathematics. J. Logic Anal. 4(7), 22 (2012). MathSciNetzbMATHGoogle Scholar
  12. 12.
    Dorais, F.G., Dzhafarov, D.D., Hirst, J.L., Mileti, J.R., Shafer, P.: On uniform relationships between combinatorial problems. Trans. Am. Math. Soc. 368(2), 1321–1359 (2016). MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Gherardi, G., Marcone, A.: How incomputable is the separable Hahn-Banach theorem? Notre Dame J. Formal Logic 50(4), 393–425 (2009). MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Kreisel, G., Lacombe, D.: Ensembles récursivement mesurables et ensembles récursivement ouverts et fermés. Comptes Rendus Académie des Sciences Paris 245, 1106–1109 (1957)zbMATHGoogle Scholar
  15. 15.
    Pauly, A.: How incomputable is finding Nash equilibria? J. Univ. Comput. Sci. 16(18), 2686–2710 (2010). MathSciNetzbMATHGoogle Scholar
  16. 16.
    Pauly, A.: On the (semi)lattices induced by continuous reducibilities. Math. Logic Q. 56(5), 488–502 (2010). MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Pauly, A.: On the topological aspects of the theory of represented spaces. Computability 5(2), 159–180 (2016). MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Richardson, L.F.: Measure and Integration. Wiley, Hoboken (2009). (A concise introduction to real analysis)
  19. 19.
    Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Logic, Association for Symbolic Logic, 2nd edn. Cambridge University Press, Poughkeepsie (2009)CrossRefzbMATHGoogle Scholar
  20. 20.
    Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Vasco Brattka
    • 1
    • 2
  • Guido Gherardi
    • 3
  • Rupert Hölzl
    • 2
  • Arno Pauly
    • 4
  1. 1.Deptartment of Mathematics and Applied MathematicsUniversity of Cape TownCape TownSouth Africa
  2. 2.Faculty of Computer ScienceUniversität der Bundeswehr MünchenNeubibergGermany
  3. 3.Dipartimento di Filosofia e ComunicazioneUniversità di BolognaBolognaItaly
  4. 4.Départment d’InformatiqueUniversité libre de BruxellesBrusselsBelgium

Personalised recommendations