Pages that link to "Item:Q2563983"
From MaRDI portal
The following pages link to Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983):
Displayed 13 items.
- Subsets coded in elementary end extensions (Q403405) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- On the strength of Ramsey's theorem for pairs (Q2732267) (← links)
- Formalizing non-standard arguments in second-order arithmetic (Q3066789) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- 10th Asian Logic Conference (Q3633210) (← links)
- A Model-Theoretic Approach to Ordinal Analysis (Q4338039) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- On mathematical instrumentalism (Q5718688) (← links)