Results for '$\mathsf{PFA}$'

Order:
  1.  14
    Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree.Teruyuki Yorioka - 2017 - Notre Dame Journal of Formal Logic 58 (3):381-396.
    We show that, under PFA, a coherent Suslin tree forces that every two Aronszajn trees are club-isomorphic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark