费利佩和泰西耶关于非伦理学情形下两种人格比较的理论
À 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
摘要：
本文给出了de Felipe和Teissier在《赋值与亨泽尔化》（arXiv：1903.10793v1）一文中的一个定理的初等证明。该定理比较了由赋值整环控制的局部整环的两个亨塞尔化。我们的证明是写在建设性的主教风格。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
