most citedIn 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing math.ACShow all

2 papers · 1 filter

math.AC2024

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…

math.AC2024

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…