1: \begin{abstract}

2: \noindent Let $K_\circ$ and $K_\bullet$ be mixed-characteristic local fields,

3: and let $m$ be an integer $\geq 0$. For each $\square\in \left\{ \circ, \bullet

4: \right\}$, let $K_{\square}^{m}$ denote the maximal $m$-step solvable extension

5: of $K_{\square}$, and write $G_{K_\square}^{m}$ for the maximal $m$-step

6: solvable quotient of the absolute Galois group $G_{K_\square}$ of $K_\square$;

7: we equip $G_{K_\square}$ and its quotients with filtration defined by the

8: ramification groups in upper numbering. It is known from the previous

9: bi-anabelian result due to Mochizuki that the natural map from the set of field

10: isomorphisms $K_\circ\to K_\bullet$ into the set of outer isomorphisms

11: $G_{K_\circ} \to G_{K_\bullet}$ of filtered profinite groups is bijective; in

12: particular, the isomorphism class of $K_\circ$ is determined by the isomorphism

13: class of the filtered profinite group $G_{K_\circ}$. In this paper, we prove

14: (with some mono-anabelian results) that the isomorphism class of $K_\circ^{m}$

15: (hence of $K_\circ$) is determined by the isomorphism class of

16: $G_{K_\circ}^{m+2}$ as a filtered profinite group, and that the field

17: isomorphism $K_\circ^m\to K_\bullet^m$ is determined functorially by the

18: isomorphism $G_{K_\circ}^{m+3}\to G_{K_\bullet}^{m+3}$ of filtered profinite

19: groups.

20:  \end{abstract}

21: