1 paper · 1 filter
Alonso GarcÃa, M. Emilia, Lombardi +3
We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.