30
LFP = IFP
•
Theorem
[Gurevitch and Shelah] LFP = IFP
•
•
Technically involved proof, see the book