Pages that link to "Item:Q1264147"
From MaRDI portal
The following pages link to On some formalized conservation results in arithmetic (Q1264147):
Displaying 8 items.
- Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction (Q1082338) (← links)
- 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)
- A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) (Q1407524) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories (Q2566065) (← links)
- Envelopes, indicators and conservativeness (Q3376540) (← links)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661) (← links)
