Switch to: Citations

Add references

You must login to add references.
  1. Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
    We prove independence results concerning the number of nonisomorphic models (using the S-chain condition and S-properness) and the consistency of "ZCF + 2 ℵ 0 = ℵ 2 + there is a universal linear order of power ℵ 1 ". Most of these results were announced in [Sh 4], [Sh 5]. In subsequent papers we shall prove an analog f MA for forcing which does not destroy stationary subsets of ω 1 , investigate D-properness for various filters and prove the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations