It is shown that the determinacy of $G_{\delta \sigma }$ games of length $\omega ^2$ is equivalent to the existence of a transitive model of ${\mathsf {KP}} + {\mathsf {AD}} + \Pi _1\textrm {-MI}_{\mathbb {R}}$ containing $\mathbb {R}$ . Here, $\Pi _1\textrm {-MI}_{\mathbb {R}}$ is the axiom asserting that every monotone $\Pi _1$ operator on the real numbers has an inductive fixpoint.

In this article we study the systems KF and VF of truth over set theory as well as related systems and compare them with the corresponding systems over arithmetic.

In [G. Curi, On Tarski’s fixed point theorem. Proc. Amer. Math. Soc., 143 (2015), pp. 4439–4455], a notion of abstract inductive definition is formulated to extend Aczel’s theory of inductive definitions to the setting of complete lattices. In this article, after discussing a further extension of the theory to structures of much larger size than complete lattices, as the class of all sets or the class of ordinals, a similar generalization is carried out for the theory of co-inductive definitions on a set. As a corollary, a constructive version of the general form of Tarski’s fixed point theorem is derived.