Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces

From MaRDI portal