Switch to: References

Add citations

You must login to add citations.
  1. Elementary constructive theory of Henselian local rings.María E. Alonso, Henri Lombardi & Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (3):253-271.
    We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark