@misc{indiciae5707dea3e629,
  title = {A univalent universe in finite order arithmetic},
  author = {Colin McLarty},
  year = {2015},
  url = {https://arxiv.org/abs/1412.6714},
  note = {Source identifier: 1412.6714}
}