Hydra game (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Hydra game" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

5^th place

5^th place

low place

low place

7,047^th place

9,941^st place

1,082^nd place

764^th place

1agnijomaths.com

low place

low place

2,913^th place

5,132^nd place

26^th place

20^th place

1uni-muenchen.de

3,337^th place

3,444^th place

1semanticscholar.org

11^th place

8^th place

agnijomaths.com (Global: low place; English: low place)

"Hydras". agnijomaths.com. Retrieved 2021-09-05.

amu.edu.pl (Global: 7,047^th place; English: 9,941^st place)

logic.amu.edu.pl

Kirby, Laurie; Paris, Jeff. "Accessible independence results for Peano arithmetic" (PDF). Department of applied logic. Retrieved 2021-09-04.

cal.vin (Global: low place; English: low place)

cal.vin

"Hydra(5)".

li.cal.vin

"The Hydra Game Solved".

doi.org (Global: 2^nd place; English: 2^nd place)

Ketonen, Jussi; Solovay, Robert (1981). "Rapidly Growing Ramsey Functions". Annals of Mathematics. 113 (2): 267–314. doi:10.2307/2006985. ISSN 0003-486X. JSTOR 2006985.
Hamano, Masahiro; Okada, Mitsuhiro (1998-03-01). "A direct independence proof of Buchholz's Hydra Game on finite labeled trees". Archive for Mathematical Logic. 37 (2): 67–89. doi:10.1007/s001530050084. ISSN 1432-0665. S2CID 40113368.
Carlucci, Lorenzo (2003-05-07). "A new proof-theoretic proof of the independence of Kirby–Paris' Hydra Theorem". Theoretical Computer Science. 300 (1–3): 365–378. doi:10.1016/S0304-3975(02)00332-8. ISSN 0304-3975.

jstor.org (Global: 26^th place; English: 20^th place)

Ketonen, Jussi; Solovay, Robert (1981). "Rapidly Growing Ramsey Functions". Annals of Mathematics. 113 (2): 267–314. doi:10.2307/2006985. ISSN 0003-486X. JSTOR 2006985.

kyoto-u.ac.jp (Global: 2,913^th place; English: 5,132^nd place)

kurims.kyoto-u.ac.jp

Hamano, Masahiro; Okada, Mitsuhiro (1995). "A Relationship among Gentzen's Proof-Reduction, Kirby-Paris) Hydra Game, and Buchholz's Hydra Game (Preliminary Report)*" (PDF). Research Institute for Mathematical Sciences, Kyoto University. Retrieved 2021-09-04.

reddit.com (Global: 1,082^nd place; English: 764^th place)

"The Hydra Game - Numberphile". 18 April 2024.

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Hamano, Masahiro; Okada, Mitsuhiro (1998-03-01). "A direct independence proof of Buchholz's Hydra Game on finite labeled trees". Archive for Mathematical Logic. 37 (2): 67–89. doi:10.1007/s001530050084. ISSN 1432-0665. S2CID 40113368.

uni-muenchen.de (Global: 3,337^th place; English: 3,444^th place)

epub.ub.uni-muenchen.de

Buchholz, Wilfried (1984-11-27). "An independence result for Π11 - CA + BI" (PDF). Ludwig-Maximilians-University of Munich. Retrieved 2021-09-04.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

Ketonen, Jussi; Solovay, Robert (1981). "Rapidly Growing Ramsey Functions". Annals of Mathematics. 113 (2): 267–314. doi:10.2307/2006985. ISSN 0003-486X. JSTOR 2006985.
Hamano, Masahiro; Okada, Mitsuhiro (1998-03-01). "A direct independence proof of Buchholz's Hydra Game on finite labeled trees". Archive for Mathematical Logic. 37 (2): 67–89. doi:10.1007/s001530050084. ISSN 1432-0665. S2CID 40113368.
Carlucci, Lorenzo (2003-05-07). "A new proof-theoretic proof of the independence of Kirby–Paris' Hydra Theorem". Theoretical Computer Science. 300 (1–3): 365–378. doi:10.1016/S0304-3975(02)00332-8. ISSN 0304-3975.