Zariski cohomology in second order arithmetic - Colin McLarty (2012)