Pages that link to "Item:Q2976370"
From MaRDI portal
The following pages link to END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370):
Displaying 7 items.
- Binary models generated by their tally part (Q1337500) (← links)
- End extensions of models of linearly bounded arithmetic (Q1377910) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- On maximal theories (Q3985086) (← links)
- A model theoretic proof of a subexponential time witnessing theorem (Q4217552) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
- Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)