Pathwise-randomness and models of second-order arithmetic
From MaRDI portal
Publication:6559034
DOI10.1016/J.IC.2024.105181MaRDI QIDQ6559034FDOQ6559034
Authors: George Barmpalias, Wei Wang 
Publication date: 21 June 2024
Published in: Information and Computation (Search for Journal in Brave)
Cites Work
- Theory of Random Sets
- Algorithmic randomness and complexity.
- Subsystems of second order arithmetic
- The definition of random sequences
- Measure theory and weak König's lemma
- On the strength of Ramsey's theorem for pairs
- Slicing the truth. On the computable and reverse mathematics of combinatorial principles
- Title not available (Why is that?)
- Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
- Rainbow Ramsey theorem for triples is strictly weaker than the arithmetical comprehension axiom
- Mass problems associated with effectively closed sets
- Members of Random Closed Sets
- Algorithmic Randomness of Closed Sets
- The axiomatization of randomness
- A Pedagogical History of Compactness
- Ramsey's theorem and cone avoidance
- Title not available (Why is that?)
- Deep \(\Pi_1^0\) classes
- Vitali's theorem and WWKL
- Martin-Löf randomness and Galton-Watson processes
- \(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination
- The Role of Compactness in Analysis
- On the computability of perfect subsets of sets with positive measure
- Forbidden information
- Martin-Löf randomness in spaces of closed sets
- Highness properties close to PA completeness
- Finding paths through narrow and wide trees
- Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics
This page was built for publication: Pathwise-randomness and models of second-order arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6559034)
