Switch to: Citations

Add references

You must login to add references.
  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 in L.Nam Trang - 2014 - Journal of Mathematical Logic 14 (1):1450006.
    Assume V = L ⊨ ZF + DC + Θ > ω2 + μ is a normal fine measure on.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations