论文标题
建筑DuHenséliséD'UnCorps Valure Real
Construction du hensélisé d'un corps valué
论文作者
论文摘要
我们为有价值的领域的亨斯尔化提供了明确的结构，并具有建设性的证明。它类似于构造离散有序场的实际关闭。 Nous Donnons Une构造的显式，ET构造研究Prouvée，Duhenséliséd'UnCorps Valure。 Cette ConstructionPeutêtrecitéréeCommel'Analogue，Dans le CasValué，De la Construction de lalaClôtureRééelleD'UnCorpsOrdonné。
We give an explicit construction of the henselization of a valued field, with a constructive proof. It is analogous to the construction of the real closure of a discrete ordered field. Nous donnons une construction explicite, et constructivement prouvée, du hensélisé d'un corps valué. Cette construction peut être considérée comme l'analogue, dans le cas valué, de la construction de la clôture rééelle d'un corps ordonné.
