Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)An variation for one souslin tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81-98.
    We present a variation of the forcing S max as presented in Woodin [4]. Our forcing is a P max -style construction where each model condition selects one Souslin tree. In the extension there is a Souslin tree T G which is the direct limit of the selected Souslin trees in the models of the generic. In some sense, the generic extension is a maximal model of "there exists a minimal Souslin tree," with T G being this minimal tree. In (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations