Universe (mathematics) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Universe (mathematics)" in English language version.

refsWebsite

Global rank English rank

1arxiv.org

69^th place

59^th place

1ncatlab.org

low place

8,775^th place

1rhul.ac.uk

low place

9,338^th place

1springer.com

274^th place

309^th place

1doi.org

2^nd place

1semanticscholar.org

11^th place

8^th place

arxiv.org (Global: 69^th place; English: 59^th place)

Low, Zhen Lin (2013-04-18). "Universes for category theory". arXiv:1304.5227v2 [math.CT].

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

Rathjen, Michael (October 2005). "The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory". Synthese. 147: 81–120. doi:10.1007/s11229-004-6208-4. S2CID 143295. Retrieved September 21, 2022.

ncatlab.org (Global: low place; English: 8,775^th place)

"Universe in Homotopy Type Theory" in nLab

rhul.ac.uk (Global: low place; English: 9,338^th place)

cs.rhul.ac.uk

Zhaohui Luo, "Notes on Universes in Type Theory", 2012.

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

api.semanticscholar.org

Rathjen, Michael (October 2005). "The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory". Synthese. 147: 81–120. doi:10.1007/s11229-004-6208-4. S2CID 143295. Retrieved September 21, 2022.

springer.com (Global: 274^th place; English: 309^th place)

link.springer.com

Rathjen, Michael (October 2005). "The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory". Synthese. 147: 81–120. doi:10.1007/s11229-004-6208-4. S2CID 143295. Retrieved September 21, 2022.

Universe (mathematics) (English Wikipedia)

arxiv.org (Global: 69th place; English: 59th place)

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

ncatlab.org (Global: low place; English: 8,775th place)

rhul.ac.uk (Global: low place; English: 9,338th place)