TY - RPRT TI - An arithmetic topos for integer matrices AU - Jens Hemelaer PY - 2018 DO - 10.1016/j.jnt.2019.03.023 UR - https://arxiv.org/abs/1806.01887 ID - 1806.01887 ER -