A generalization of his explicit formula to higher local fields is called the Vostokov symbol and it plays an important role in higher local class field theory.
A generalization of his explicit formula to higher local fields is called the Vostokov symbol. It plays an important role in higher local class field theory.