@misc{indiciae0bbaab53b583,
  title = {An arithmetic topos for integer matrices},
  author = {Jens Hemelaer},
  year = {2018},
  doi = {10.1016/j.jnt.2019.03.023},
  url = {https://arxiv.org/abs/1806.01887},
  note = {Source identifier: 1806.01887}
}