arXiv:1305.7501 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords model companion, ordered theories, automorphism, strict order property, unary function symbol Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset