Zariski cohomology in second order arithmetic
From MaRDI portal
Publication:6234087
arXiv1207.0276MaRDI QIDQ6234087FDOQ6234087
Authors: Colin McLarty 
Publication date: 2 July 2012
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)
