Pages that link to "Item:Q3138013"
From MaRDI portal
The following pages link to The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013):
Displayed 6 items.
- A measure-theoretic proof of Turing incomparability (Q638476) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- On the strength of Ramsey's theorem (Q1913632) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983) (← links)
- Forcing in Proof Theory (Q4678943) (← links)