TY - RPRT TI - The structural complexity of models of arithmetic AU - Antonio Montalbán AU - Dino Rossegger PY - 2022 UR - https://arxiv.org/abs/2208.01697 ID - 2208.01697 ER -