Ann. Pure Appl.Logic に掲載された次の論文をreviewしましたので、 御案内しておきます。 https://zbmath.org/pdf/07327745.pdf にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=qhXrye7zkwY