TY - RPRT TI - Models of PA: when two elements are necessarily order automorphic AU - Saharon Shelah PY - 2012 UR - https://arxiv.org/abs/1004.3342 ID - 1004.3342 ER -