M. Kurosaki, “An approximation topology using countable elementary submodels”, Top Proc, vol. 66, pp. 165–176, Jul. 2025.