Pages that link to "Item:Q1264147"
From MaRDI portal
The following pages link to On some formalized conservation results in arithmetic (Q1264147):
Displaying 4 items.
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- The prime number theorem and fragments of PA (Q1337499) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661) (← links)
