The field-of-norms functor and the Hilbert symbol for higher local fields
The field-of-norms functor is applied to deduce explicit reciprocity formulae for the Hilbert symbol in the mixed characteristic case from the explicit formula for the Witt symbol in characteristic p > 2 in the context of higher local fields. Is is shown that a "very special case" of this construction gives Vostokov's explicit formula
math.NT↗