Sciweavers

MLQ
2008

Elementary constructive theory of Henselian local rings

13 years 11 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é
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where MLQ
Authors Maria Emilia Alonso, Henri Lombardi, Hervé Perdry
Comments (0)