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

69^th place

59^th place

low place

8,775^th place

low place

9,338^th place

274^th place

309^th place

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

arxiv.org

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

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

ncatlab.org

"Universe in Homotopy Type Theory" in nLab

rhul.ac.uk

cs.rhul.ac.uk

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

semanticscholar.org

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

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.