arXiv:1502.03615 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords natural number, nonstandard analysis, well-orders carry extreme logical strength, bounded searches Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset