There is a recent paper which is probably the first application of forcing in game theory (in particular epistemic game theory). The authors apply their ideas to the analysis of the very well known concepts of an iterated elimination of weakly dominated strategies and a common assumption of rationality.