Pages that link to "Item:Q685067"
From MaRDI portal
The following pages link to A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067):
Displaying 4 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Well-behaved principles alternative to bounded induction (Q1885028) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
