论文标题
àproposd'unthéorèmedefelipe et teissier sur la cartaion de deuxhensélisésdans dans le cas nonnoEthérien
À propos d'un théorème de de Felipe et Teissier sur la comparaison de deux hensélisés dans le cas non noethérien
论文作者
论文摘要
本文在“估值与元素化”（Arxiv：1903.10793v1）中给出了De Felipe和Teissier定理的基本证明，以数学出现。安娜伦。该定理比较了以评估域为主的局部域的两个远程化。我们的证明是以建设性的主教风格编写的。
This paper gives an elementary proof of a theorem by de Felipe and Teissier in the paper "Valuations and henselization" (arXiv:1903.10793v1), to appear in Math. Annalen. The theorem compares two henselizations of a local domain dominated by a valuation domain. Our proofs are written in the constructive Bishop style.
