Switch to: References

Add citations

You must login to add citations.
  1. Games and induction on reals.J. P. Aguilera & P. D. Welch - 2021 - Journal of Symbolic Logic 86 (4):1676-1690.
    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.
    Download  
     
    Export citation  
     
    Bookmark