The strength of compactness in Computability Theory and Nonstandard Analysis - Dag Normann; Sam Sanders (2018)