Pages that link to "Item:Q1377910"
From MaRDI portal
The following pages link to End extensions of models of linearly bounded arithmetic (Q1377910):
Displaying 5 items.
- Iterated multiplication in \(VTC^0\) (Q2155497) (← links)
- Separations of first and second order theories in bounded arithmetic (Q2388431) (← links)
- Truth definitions without exponentiation and the Σ<sub>1</sub> collection scheme (Q2892683) (← links)
- END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← links)
- A theory for Log-Space and NLIN versus co-NLIN (Q4650271) (← links)
