@misc{indiciae3bd5cb0a76a2, title = {The Lattice Problem for Models of \$\textbackslash{}mathsf\{PA\}\$}, author = {Athar Abdul-Quader and Roman Kossak}, year = {2024}, url = {https://arxiv.org/abs/2406.06338}, note = {Source identifier: 2406.06338} }