36 citations · 106 across the 22 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.AC2020★ 1 cited
On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case
María Emilia Alonso García, Henri Lombardi, Stefan Neuwirth
Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, a…
math.HO2020
Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1938--1953)
Stefan Neuwirth
Krull's Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen's career in mathematics. This art…
math.HO2020★ 7 cited
Lorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']
Thierry Coquand, Stefan Neuwirth
We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseu…