10 citations · 14 across the 6 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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…