Veblen function (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Veblen function" in English language version.

refsWebsite

Global rank English rank

5,235^th place

3,879^th place

2^nd place

2^nd place

4,464^th place

4,468^th place

1,564^th place

1,028^th place

low place

low place

274^th place

309^th place

1semanticscholar.org

11^th place

8^th place

cmu.edu

andrew.cmu.edu

Avigad, Jeremy (May 23, 2001). "An ordinal analysis of admissible set theory using recursion on ordinal notations" (PDF). Journal of Mathematical Logic. 2: 91--112. doi:10.1142/s0219061302000126.

doi.org

Avigad, Jeremy (May 23, 2001). "An ordinal analysis of admissible set theory using recursion on ordinal notations" (PDF). Journal of Mathematical Logic. 2: 91--112. doi:10.1142/s0219061302000126.
Ranzi, Florian; Strahm, Thomas (2019). "A flexible type system for the small Veblen ordinal" (PDF). Archive for Mathematical Logic. 58 (5–6): 711–751. doi:10.1007/s00153-019-00658-x. S2CID 253675808.

leeds.ac.uk

www1.maths.leeds.ac.uk

M. Rathjen, Ordinal notations based on a weakly Mahlo cardinal, (1990, p.251). Accessed 16 August 2022.
M. Rathjen, "The Art of Ordinal Analysis" (2006), appearing in Proceedings of the International Congress of Mathematicians 2006.

madore.org

D. Madore, "A Zoo of Ordinals" (2017). Accessed 02 November 2022.

semanticscholar.org

api.semanticscholar.org

Ranzi, Florian; Strahm, Thomas (2019). "A flexible type system for the small Veblen ordinal" (PDF). Archive for Mathematical Logic. 58 (5–6): 711–751. doi:10.1007/s00153-019-00658-x. S2CID 253675808.

springer.com

link.springer.com

Ranzi, Florian; Strahm, Thomas (2019). "A flexible type system for the small Veblen ordinal" (PDF). Archive for Mathematical Logic. 58 (5–6): 711–751. doi:10.1007/s00153-019-00658-x. S2CID 253675808.

tau.ac.il

cs.tau.ac.il

N. Dershowitz, M. Okada, Proof Theoretic Techniques for Term Rewriting Theory (1988). p.105