The following pages link to (Q3682484):
Displayed 7 items.
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- Subsets of models of arithmetic (Q1311429) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (Q1827398) (← links)
- Schmerl decompositions in first order arithmetic (Q2326427) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- On Extensions of Models of Strong Fragments of Arithmetic (Q4205426) (← links)