Sciweavers

MLQ
2008
63views more  MLQ 2008»
13 years 5 months ago
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.
Maria Emilia Alonso, Henri Lombardi, Hervé ...