Elementary Constructive Theory of Henselian Local Rings
We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.
math.AC↗
arXiv subjects
Publications and source records attributed to Lombardi.
We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.