Displaying similar documents to “Order-types of models of arithmetic and a connection with arithmetic saturation.”