Elementary Constructive Theory of Henselian Local Rings
arXiv:2202.06595 · doi:10.1002/malq.200710057
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.