Abstract
We prove Menger’s theorem for countable graphs in \({{\Pi^1_1\tt{-CA}_0}}\). Our proof in fact proves a stronger statement, which we call extended Menger’s theorem, that is equivalent to \({{\Pi^1_1\tt{-CA}_0}}\) over \({{\tt{RCA}_0}}\).
Similar content being viewed by others
References
Aharoni R.: König’s duality theorem for infinite bipartite graphs. J. Lond. Math. Soc. 29(2), 1–12 (1984)
Aharoni R.: Menger’s theorem for countable graphs. J. Comb. Theory Ser. B 43(3), 303–313 (1987)
Aharoni R., Berger E.: Menger’s theorem for infinite graphs. Invent. Math. 176(1), 1–62 (2009)
Aharoni R., Magidor M., Shore R.A.: On the strength of König’s duality theorem for infinite bipartite graphs. J. Comb. Theory Ser. B 54(2), 257–290 (1992)
Diestel R.: Graph Theory. Springer, Berlin (2006)
Friedman, H.: Some systems of second order arithmetic and their use. In: Proceedings of the International Congress of Mathematicians, pp. 235–242. Canadian Mathematical Congress (1975)
Podewski K.P., Steffens K.: Injective choice functions for countable families. J. Comb. Theory Ser. B 21(1), 40–46 (1976)
Simpson S.G.: On the strength of König’s duality theorem for countable bipartite graphs. J. Symb. Log. 59(1), 113–123 (1994)
Simpson S.G.: Subsystems of Second Order Arithmetic. Cambridge University Press, Cambridge (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was partially supported by NSF grants DMS-0554855 and DMS-0852811.
Rights and permissions
About this article
Cite this article
Shafer, P. Menger’s theorem in \({{\Pi^1_1\tt{-CA}_0}}\) . Arch. Math. Logic 51, 407–423 (2012). https://doi.org/10.1007/s00153-012-0269-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-012-0269-8