Ultrafiltersというのは、基礎論では不可欠の 道具立てですが、これについて Annals of Pure and Applied Logic に掲載された一寸面白い論文をreviewしたので ご案内いたしておきます。 https://zbmath.org/?q=an%3A07257239 にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=dXuGGJCqktQ