Pages that link to "Item:Q480816"

The following pages link to The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816):

Displaying 10 items.

• The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
• Determinacy of refinements to the difference hierarchy of co-analytic sets (Q1676330) (← links)
• A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
• Determinacy separations for class games (Q2312093) (← links)
• Determinacy in third order arithmetic (Q2404651) (← links)
• Determinacy and monotone inductive definitions (Q2631880) (← links)
• An independence result on weak second order bounded arithmetic (Q2720322) (← links)
• The limits of determinacy in second-order arithmetic (Q3116522) (← links)
• Determinacy of Wadge classes and subsystems of second order arithmetic (Q3619869) (← links)
• Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329) (← links)