TY - RPRT TI - The Pentagon as a Substructure Lattice of Models of Peano Arithmetic AU - James H. Schmerl PY - 2023 DO - 10.1017/jsl.2024.6 UR - https://arxiv.org/abs/1910.05284 ID - 1910.05284 ER -