The constructive content of a local-global principle with an application to the structure of a finitely generated projective module

MaRDI QIDQ6447804zbMATH OpenFDO

Authors Henri Lombardi

Publication date 18 August 2023

Mathematics Subject Classification ID

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)