Pages that link to "Item:Q636381"
From MaRDI portal
The following pages link to The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381):
Displaying 4 items.
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- On the Π<sub>1</sub> <sup>1</sup> -separation principle (Q3545211) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)