Tarski–Grothendieck set theory (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Tarski–Grothendieck set theory" in English language version.

refsWebsite

Global rank English rank

low place

low place

low place

low place

1,174^th place

773^rd place

low place

low place

2^nd place

2^nd place

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

Pąk, Karol (Jan 8, 2021). "Grothendieck Universes". Formalized Mathematics. 28 (2): 211–215. doi:10.2478/forma-2020-0018. Retrieved November 25, 2024. First we prove in Theorem (17) that every Grothendieck universe satisfies Tarski's Axiom A.

metamath.org (Global: low place; English: low place)

us.metamath.org

Metamath grothpw.
"df-tsk". Metamath Proof Explorer. Retrieved November 25, 2024. Later Grothendieck introduced the concept of Grothendieck universes and showed they were equal to transitive Tarski classes.

mizar.org (Global: low place; English: low place)

mmlquery.mizar.org

"WELLORD2: Zermelo Theorem and Axiom of Choice. The correspondence of well ordering relations and ordinal numbers".

nyu.edu (Global: 1,174^th place; English: 773^rd place)

cs.nyu.edu

Robert Solovay, Re: AC and strongly inaccessible cardinals.

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

Pąk, Karol (Jan 8, 2021). "Grothendieck Universes". Formalized Mathematics. 28 (2): 211–215. doi:10.2478/forma-2020-0018. Retrieved November 25, 2024. First we prove in Theorem (17) that every Grothendieck universe satisfies Tarski's Axiom A.