10 citations · 14 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.HO2015★ 1 cited
The finiteness theorem for invariants of a finite group (translation of Emmy Noether's "Der Endlichkeitsatz der Invarianten endlicher Gruppen")
Colin McLarty
A translation of Emmy Noether's paper "Der Endlichkeitsatz der Invarianten endlicher Gruppen" (Mathematische Annalen, vol. 77, 1920, pages 89--92). In Noether's words, the paper gi…
math.LO2015
A univalent universe in finite order arithmetic
Colin McLarty
Homotopy Type Theory with a univalent universe is interpreted at the strength of finite order arithmetic. We eliminate Grothendieck universes, avoid the axiom of…