加载中…
We introduce a forcing that adds a -sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both and fail in the forcing extension.

生成讲解博客的中文版本

生成AI智能校验的中文版本