Pages that link to "Item:Q1849864"
From MaRDI portal
The following pages link to Some conservation results on weak König's lemma (Q1849864):
Displaying 12 items.
- A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) (Q1407524) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Some More Conservation Results on the Baire Category Theorem (Q4939405) (← links)
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q5067874) (← links)
- On the conservative pasting lemma (Q5107678) (← links)
- Models of the Weak König Lemma (Q5881255) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458) (← links)
