@misc{indiciae6d91c97da117,
  title = {Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations},
  author = {David M. Cerna},
  year = {2018},
  url = {https://arxiv.org/abs/1610.04643},
  note = {Source identifier: 1610.04643}
}