Switch to: References

Add citations

You must login to add citations.
  1. Realizing an AD + model as a derived model of a premouse.Yizheng Zhu - 2015 - Annals of Pure and Applied Logic 166 (12):1275-1364.
  • Determinacy from strong compactness of ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark