arXiv:1801.08172 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords nonstandard analysis, computability theory, weak fan functionals, basic property, abraham robinsons nonstandard compactness Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset