A note on a forcing related to the S‐space problem in the extension with a coherent Suslin tree

From MaRDI portal
Publication:5258478