@misc{indiciae14cbb77675e7,
  title = {Pathwise-random trees and models of second-order arithmetic},
  author = {George Barmpalias and Wei Wang},
  year = {2024},
  url = {https://arxiv.org/abs/2104.12066},
  note = {Source identifier: 2104.12066}
}