Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658)

The paper established Nelson's realizability interpretation restricted to the implication-free first-order formulas, which can be viewed as an effective version of GTS for FOL. It proposed a realizability interpretation for IF-FOL, and showed that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. The trump realizability in fact can be seen as a generalization of Nelson's restricted realizability. I think that this paper contributes to the theory of independence-friendly logic, and hence has a positive effect on the development of semantics of IF-FOL.