1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.HO2024★ 1 cited
In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
Stefan Neuwirth, Henri Lombardi, Thierry Coquand
In 1955, Paul Lorenzen is a mathematician who devotes all his research to foundations of mathematics, on a par with Hans Hermes, but his academic background is algebra in the tradi…
math.AC2023
Dimension de Krull, Nullstellensätze et Évaluation Dynamique
Henri Lombardi
We prove constructively a Nullstellensatz giving an equivalence between the existence of a certain kind of algebraic identity on one hand, and the impossibility of finding an incre…
math.AC2023
The constructive content of a local-global principle with an application to the structure of a finitely generated projective module
Henri Lombardi
We study the structure of an idempotent matrix over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of wh…