Pages that link to "Item:Q5294020"

The following pages link to Δ₃^O-determinacy, comprehension and induction (Q5294020):

Displaying 16 items.

• The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
• The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
• The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
• Determinacy in third order arithmetic (Q2404651) (← links)
• Determinacy and monotone inductive definitions (Q2631880) (← links)
• An example of \(\boldsymbol{\Pi}_3^0\)-complete infinitary rational relation (Q2642354) (← links)
• Weak systems of determinacy and arithmetical quasi-inductive definitions (Q3011112) (← links)
• Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
• Open Questions in Reverse Mathematics (Q3174640) (← links)
• TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (Q3450810) (← links)
• Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462) (← links)
• Determinacy of Wadge classes and subsystems of second order arithmetic (Q3619869) (← links)
• Games for Truth (Q3655267) (← links)
• Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
• Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← links)
• Open determinacy for class games (Q5351852) (← links)