10 citations · 10 across the 1 of their papers we have counts for
1 paper
Chad E. Brown, Karol Pąk
We describe the relationship between two versions of Tarski-Grothendieck set theory: the first-order set theory of Mizar and the higher-order set theory of Egal. We show how certai…