论文标题
Henselian本地环的基本建设性理论
Elementary Constructive Theory of Henselian Local Rings
论文作者
论文摘要
我们给出了henselian局部环的基础理论，并构建了局部环的henselization。我们所有的定理都有算法内容。
We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.
