Pages that link to "Item:Q5293192"

The following pages link to Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192):

Displaying 8 items.

• Infinite games specified by 2-tape automata (Q324245) (← links)
• A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
• Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
• Open Questions in Reverse Mathematics (Q3174640) (← links)
• Weihrauch Degrees of Finding Equilibria in Sequential Games (Q3195703) (← links)
• Lipschitz and Wadge binary games in second order arithmetic (Q6109090) (← links)