Kruskal's tree theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Kruskal's tree theorem" in English language version.

refsWebsite

Global rank English rank

2^nd place

451^st place

277^th place

2,333^rd place

1,632^nd place

3^rd place

low place

1,734^th place

1,312^th place

1,174^th place

773^rd place

ams.org

Friedman 2002, p. 60 Friedman, Harvey M. (2002). "Internal finite tree embeddings". In Sieg, Wilfried; Feferman, Solomon (eds.). Reflections on the foundations of mathematics: essays in honor of Solomon Feferman. Lecture notes in logic. Vol. 15. Natick, Mass: AK Peters. pp. 60–91. ISBN 978-1-56881-170-3. MR 1943303.
Rathjen & Weiermann 1993. Rathjen, Michael; Weiermann, Andreas (February 1993). "Proof-theoretic investigations on Kruskal's theorem" (PDF). Annals of Pure and Applied Logic. 60 (1): 49–88. doi:10.1016/0168-0072(93)90192-G. MR 1212407.

Friedman 2002, p. 60 Friedman, Harvey M. (2002). "Internal finite tree embeddings". In Sieg, Wilfried; Feferman, Solomon (eds.). Reflections on the foundations of mathematics: essays in honor of Solomon Feferman. Lecture notes in logic. Vol. 15. Natick, Mass: AK Peters. pp. 60–91. ISBN 978-1-56881-170-3. MR 1943303.

Marcone 2005, pp. 8–9 Marcone, Alberto (2005). Simpson, Stephen G. (ed.). "WQO and BQO theory in subsystems of second order arithmetic" (PDF). Reverse Mathematics. Lecture Notes in Logic. 21. Cambridge: Cambridge University Press: 303–330. doi:10.1017/9781316755846.020. ISBN 978-1-316-75584-6.
Rathjen & Weiermann 1993. Rathjen, Michael; Weiermann, Andreas (February 1993). "Proof-theoretic investigations on Kruskal's theorem" (PDF). Annals of Pure and Applied Logic. 60 (1): 49–88. doi:10.1016/0168-0072(93)90192-G. MR 1212407.
Smith 1985, p. 120 Smith, Rick L. (1985). "The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems". In Friedman, Harvey; Harrington, L. A. (eds.). Harvey Friedman's research on the foundations of mathematics. Studies in logic and the foundations of mathematics. Vol. 117. Amsterdam ; New York: North-Holland. pp. 119–136. doi:10.1016/s0049-237x(09)70157-0. ISBN 978-0-444-87834-2.

Friedman, Harvey (28 March 2006). "273:Sigma01/optimal/size". Ohio State University Department of Maths. Retrieved 8 August 2017.

Friedman, Harvey M. (1 June 2000). "Enormous Integers In Real Life" (PDF). Ohio State University. Retrieved 8 August 2017.
Friedman, Harvey M. (8 October 1998). "Long Finite Sequences" (PDF). Ohio State University Department of Mathematics. pp. 5, 48 (Thm.6.8). Retrieved 8 August 2017.

Marcone 2005, pp. 8–9 Marcone, Alberto (2005). Simpson, Stephen G. (ed.). "WQO and BQO theory in subsystems of second order arithmetic" (PDF). Reverse Mathematics. Lecture Notes in Logic. 21. Cambridge: Cambridge University Press: 303–330. doi:10.1017/9781316755846.020. ISBN 978-1-316-75584-6.