Program extraction for 2-random reals
From MaRDI portal
Recommendations
- Random reals, the rainbow Ramsey theorem, and arithmetic conservation
- Term extraction and Ramsey's theorem for pairs
- \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\)
- Randomness notions and reverse mathematics
- Proof mining and combinatorics. Program extraction for Ramsey's theorem for pairs
Cites work
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- Algorithmic randomness and complexity.
- Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Elimination of Skolem functions for monotone formulas in analysis
- Measure theory and weak König's lemma
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Primitive recursion and the chain antichain principle
- Random reals, the rainbow Ramsey theorem, and arithmetic conservation
- Term extraction and Ramsey's theorem for pairs
- \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
Cited in
(3)
This page was built for publication: Program extraction for 2-random reals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q365682)
