Construction du hensélisé d'un corps valué
arXiv:2202.05503 · doi:10.1006/jabr.2000.8289
Abstract
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é.
in French