1 citations · 1 across the 1 of their papers we have counts for
3 papers
Note on the coincidence of two henselisations
María Emilia Alonso García, Henri Lombardi, Stefan Neuwirth
We compare two henselisations of a residually discrete valuation domain. Our constructive proof that a certain natural morphism is an isomorphism is also a proof in classical mathe…
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…
Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
Stefan Neuwirth, Henri Lombardi, Ihsen Yengui
Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of lead…