Dow, A. et al. 2023. Some Realcompact Spaces. Topology Proceedings. 62, (Aug. 2023), 205–216.