Computability Theory, Nonstandard Analysis, and their Connections

Dag Normann, Sam Sanders. Computability Theory, Nonstandard Analysis, and their Connections. Journal of Symbolic Logic, 84(4):1422-1465, 2019. [doi]

Abstract

Abstract is missing.