Journal of Symbolic Logic に掲載された以下の論文を reviewしたので、 御案内しておきます。 https://zbmath.org/pdf/07442024.pdf にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=c3GRMAdnCwY&list=RDc3GRMAdnCwY&start_radio=1