scientific article; zbMATH DE number 5255345

zbMath1221.13016MaRDI QIDQ5454196

Henri Lombardi

Publication date: 28 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Other constructive mathematics (03F65)

Related Items

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, Constructive rereading of Artin-Schreier theory, Eliminating disjunctions by disjunction elimination, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem, Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa, Dynamical method in algebra: Effective Nullstellensätze, Hidden constructions in abstract algebra. I: Integral dependance., Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)