加载中…
The following is consistent: There is a stationary set S such that every Aronszajn tree is S-*-special and there is an Aronszajn tree T such that for every unbounded E we have T is not E-special. This answers a question of Shelah (Proper and Improper Forcing, IX.4.9(5).

生成讲解博客的中文版本

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