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.

• Type: Journal
• Year: 2008
• Where: MLQ
• Authors: Maria Emilia Alonso, Henri Lombardi, Hervé Perdry
• Keywords: Elementary Theory, Henselian Local Rings, Local Ring, MLQ 2008