2 citations · 4 across the 3 of their papers we have counts for
3 papers
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.LO2012★ 1 cited
Zariski cohomology in second order arithmetic
Colin McLarty
The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness…
math.LO2012★ 2 cited
Interpreting set theory in higher order arithmetic
Colin McLarty
A folk theorem says higher order arithmetic has the proof theoretic strength of set theory with limited power set. This paper makes the theorem precise in terms of several axiom sy…