Some conservation results on weak König's lemma
From MaRDI portal
Publication:1849864
DOI10.1016/S0168-0072(01)00121-XzbMath1016.03064OpenAlexW2134006590WikidataQ124849533 ScholiaQ124849533MaRDI QIDQ1849864
Takeshi Yamazaki, Stephen G. Simpson, Kazuyuki Tanaka
Publication date: 2 December 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(01)00121-x
Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Model-theoretic forcing (03C25)
Related Items (7)
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ Baire categoricity and \(\Sigma_1^0\)-induction ⋮ Forcing in Proof Theory ⋮ Weihrauch degrees, omniscience principles and weak computability ⋮ Effective Choice and Boundedness Principles in Computable Analysis
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Formalizing forcing arguments in subsystems of second-order arithmetic
- The Baire category theorem in weak subsystems of second-order arithmetic
- Some More Conservation Results on the Baire Category Theorem
- Deduction-preserving "Recursive Isomorphisms" between theories
- ∏ 0 1 Classes and Degrees of Theories
This page was built for publication: Some conservation results on weak König's lemma
