On the computational properties of basic mathematical notions

Dag Normann, Sam Sanders. On the computational properties of basic mathematical notions. Journal of Logic and Computation, 32(8):1747-1795, 2022. [doi]

Abstract

Abstract is missing.