The field-of-norms functor and the Hilbert symbol for higher local fields
The field-of-norms functor is applied to deduce an explicit formula for the Hilbert symbol in the mixed characteristic case from the explicit formula for the Witt symbol in characteristic in the context of higher local fields. Is is shown that a “very special case” of this construction gives Vostokov’s explicit formula.