@misc{indiciae93b6a6469319, title = {The model theory of residue rings of models of Peano Arithmetic: The prime power case}, author = {P. D'Aquino and A. Macintyre}, year = {2021}, url = {https://arxiv.org/abs/2102.00295}, note = {Source identifier: 2102.00295} }