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