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 5 items.

• The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
• A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
• Determinacy separations for class games (Q2312093) (← links)
• Determinacy and monotone inductive definitions (Q2631880) (← links)
• The limits of determinacy in second-order arithmetic (Q3116522) (← links)