Pages that link to "Item:Q3619869"
From MaRDI portal
The following pages link to Determinacy of Wadge classes and subsystems of second order arithmetic (Q3619869):
Displayed 6 items.
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Necessary use of induction in a reversal (Q3011120) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Weihrauch Degrees of Finding Equilibria in Sequential Games (Q3195703) (← links)
- Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)