@article{Barmpalias2024PathwiseRandomTrees,
  title     = {Pathwise-randomness and models of second-order arithmetic},
  volume    = {299},
  journal   = {Inf. Comput.},
  publisher = {Elsevier},
  author    = {G. Barmpalias and W. Wang},
  year      = {2024},
  pages     = {105181},
}