Elementary Constructive Theory of Henselian Local Rings
Alonso GarcÃa, M. Emilia, Lombardi, Henri, Perdry, Hervé
Published: 2022/2/14
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.