Difference between revisions of "Talk:PFA"

From Cantor's Attic
Jump to: navigation, search
(Created page with "I am not convinced the definition is what we want. Wouldn't every cardinal above the least PFA cardinal also be a PFA cardinal?")
 
 
Line 1: Line 1:
I am not convinced the definition is what we want. Wouldn't every cardinal above the least PFA cardinal also be a PFA cardinal?
+
I am not convinced the definition is what we want. Wouldn't every cardinal above the least PFA cardinal also be a PFA cardin
 +
 
 +
Yes, that seems to be right. I suppose we want that the forcing is nontrivial unbounded in kappa. Or we could say in the iteration that if PFA holds at that stage, then we add a Cohen real. (by the way, type four tildes to sign your talk posts.) [[User:Jdh|JDH]] ([[User talk:Jdh|talk]]) 19:00, 27 March 2014 (PDT)

Latest revision as of 19:00, 27 March 2014

I am not convinced the definition is what we want. Wouldn't every cardinal above the least PFA cardinal also be a PFA cardin

Yes, that seems to be right. I suppose we want that the forcing is nontrivial unbounded in kappa. Or we could say in the iteration that if PFA holds at that stage, then we add a Cohen real. (by the way, type four tildes to sign your talk posts.) JDH (talk) 19:00, 27 March 2014 (PDT)