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

作者：Yorioka Teruyuki^*

来源：Mathematical Logic Quarterly, 2015, 61(3): 169-178.

DOI：10.1002/malq.201300066

One of the main problems about error(S) is that whether a coherent Suslin tree forces that there are no S-spaces under error(S). We analyze a forcing notion related to this problem, and show that under error(S), S forces that every topology on (1) generated by a basis in the ground model is not an S-topology. This supplements the previous work due to Stevo Todorevi [25].

• 出版日期2015-5