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