Elementary Constructive Theory of Henselian Local Rings

Abstract

We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

References in corpus (1)

• Construction du hensélisé d'un corps valué

Cited by in corpus (2)

• Revisiting Zariski Main Theorem from a constructive point of view
• On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case