8 citations · 15 across the 5 of their papers we have counts for
1 paper · 2 filters
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…