Pages that link to "Item:Q2976370"

The following pages link to END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370):

Displaying 3 items.

• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
• Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
• Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)