Not yet reviewed by Pith; the record is open.

QCD at finite isospin chemical potential $\mu_{\text I}$ possesses a positively definite fermion determinant and the lattice simulation can be successfully performed. While the two-flavor effective models may be sufficient to describe the phenomenon of pion condensation, it is interesting to study the roles of the strangeness degree of freedom and the U$_{\rm A}(1)$ anomaly. In this paper, we present a systematic study of the three-flavor Nambu--Jona-Lasinio model with a Kobayashi-Maskawa-'t Hooft (KMT) term that mimics the U$_{\rm A}(1)$ anomaly at finite isospin chemical potential. In the mean-field approximation, the model predicts a phase transition from the vacuum to the pion superfluid phase, which takes place at $\mu_{\rm I}$ equal to the pion mass $m_\pi$. Due to the U$_{\rm A}(1)$ anomaly, the strangeness degree of freedom couples to the light quark degrees of freedom and the strange quark effective mass depends on the pion condensate. However, the strange quark condensate and the strange quark effective mass change slightly in the pion superfluid phase, which verifies the validity of the two-flavor models. The effective four-fermion interaction of the Kobayashi-Maskawa-'t Hooft term in the presence of the pion condensation is constructed. Due to the U$_{\rm A}(1)$ anomaly, the pion condensation generally induces scalar-pseudoscalar interaction. The Bethe-Salpeter equation for the mesonic excitations is established and the meson mass spectra are obtained at finite isospin chemical potential and temperature. Finally, the general expression for the topological susceptibility $\chi$ at finite isospin chemical potential $\mu_{\rm I}$ is derived. In contrast to the finite temperature effect which suppresses $\chi$, the isospin density effect leads to an enhancement of $\chi$.