Zariski cohomology in second order arithmetic

MaRDI QIDQ6234087zbMATH OpenFDO

Authors Colin McLarty

Publication date 2 July 2012

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Foundations of algebraic geometry (14A99)

Abstract: 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 theorem provably fails for the etale topology even on Noetherian schemes.

This page was built for publication: Zariski cohomology in second order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6234087)