Pages that link to "Item:Q948908"
From MaRDI portal
The following pages link to Harrington's conservation theorem redone (Q948908):
Displaying 6 items.
- A new conservation theorem (Q886183) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) (Q1407524) (← links)
- A note on Goodman's theorem (Q1970595) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\) (Q2921035) (← links)