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

2^nd place

451^st place

277^th place

2,333^rd place

1,632^nd place

1popularmechanics.com

1,808^th place

1,159^th place

1books.google.com

3^rd place

3^rd place

low place

low place

1,734^th place

1,312^th place

1,174^th place

773^rd place

ams.org

mathscinet.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.

books.google.com

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.

core.ac.uk

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.

doi.org

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.

nyu.edu

cs.nyu.edu

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

osu.edu

u.osu.edu

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.

popularmechanics.com

"The Enormity of the Number TREE(3) Is Beyond Comprehension". Popular Mechanics. 20 October 2017. Retrieved 4 February 2025.

uniud.it

users.dimi.uniud.it

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.