The constructive content of a local-global principle with an application to the structure of a finitely generated projective module
From MaRDI portal
Publication:6447804
arXiv2308.09371MaRDI QIDQ6447804FDOQ6447804
Authors: Henri Lombardi 
Publication date: 18 August 2023
Projective and free modules and ideals in commutative rings (13C10) Other constructive mathematics (03F65) Morphisms of commutative rings (13B10)
This page was built for publication: The constructive content of a local-global principle with an application to the structure of a finitely generated projective module
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6447804)
