Journal of Symbolic Logicに 掲載された以下の論文をreviewしたので、 御案内しておきます。 https://zbmath.org/?q=an%3A7326437 にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=eQr9pUtEoQE&t=585s