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 7 items.
- 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)
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q5067874) (← links)
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458) (← links)
