Pages that link to "Item:Q2563983"
From MaRDI portal
The following pages link to Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983):
Displaying 19 items.
- Subsets coded in elementary end extensions (Q403405) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- On the strength of Ramsey's theorem for pairs (Q2732267) (← links)
- Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem (Q2814420) (← 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)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- On mathematical instrumentalism (Q5718688) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)