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):
Displaying 10 items.
- A measure-theoretic proof of Turing incomparability (Q638476) (← links)
- On the uniform computational content of the Baire category theorem (Q1633900) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- On the strength of Ramsey's theorem (Q1913632) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983) (← links)
- The Typical Constructible Object (Q3188247) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458) (← links)
