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.
Keywords
higher local class field theory,
existence theorem