# Difference between revisions of "Talk:PFA"

From Cantor's Attic

(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 | + | 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 18: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)