Pages that link to "Item:Q1182692"
From MaRDI portal
The following pages link to On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness (Q1182692):
Displaying 4 items.
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
