Invitation to higher local fields, Interlude: Existence theorem for higher local class field theory

Abstract

Viewing higher local fields as ring objects in the category of iterated pro-ind-objects, a definition of open subgroups in Milnor K-groups of the fields is given. The self-duality of the additive group of a higher local field is proved. By studying norm groups of cohomological objects and using cohomological approach to higher local class field theory the existence theorem is proved.