P. Nyikos, “Spaces constructed using ♣ and weaker related axioms”, Top Proc, vol. 59, pp. 289–314, Jan. 2022.