Elementary constructive theory of Henselian local rings

DOI10.1002/malq.200710057zbMath1143.13027arXiv2202.06595OpenAlexW2085396259MaRDI QIDQ3506323

Henri Lombardi, Hervé Perdry, M. Emilia Alonso García

Publication date: 12 June 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2202.06595

zbMATH Keywords

Cayley-Hamilton theoremzero-dimensional ringBishop's constructive mathematicsHeyting fieldNakayama's lemmaTuring computablebasic system of orthogonal idempotentsdecomposable ringdiscrete ringGalois idempotentNagata localizationpseudo-local ringseparable closure of the residue fieldstrict Henselian local ringthe universal decomposition algebra

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Henselian rings (13J15)

Related Items (2)

On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case ⋮ Revisiting Zariski main theorem from a constructive point of view

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Elementary constructive theory of Henselian local rings