8 citations · 19 across the 10 of their papers we have counts for
1 paper · 1 filter
Henri Lombardi, Franz-Viktor Kuhlmann
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 fi…