approachable. In the proof we will use a forcing poset P(S) defined as follows. Suppose S is a stationary subset of Pω1 (Y ), where Y is a set containing ω2 ...
確定! 回上一頁