|
|||||
|
|
Elementary constructive theory of Henselian local rings |
|
| Authors: | María E Alonso Henri Lombardi Hervé Perdry |
| Institution: | 1. Departamento de álgebra, UCM, 28040 Madrid, Spain;2. Département de Mathématiques, Université de Franche‐Comté, 25030 Besan?on Cedex, France;3. INSERM U535, Université Paris‐Sud UMR‐S 535, BP 1000, 94817 Villejuif Cedex, France |
| Abstract: | We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Constructible mathematics Henselian rings |