On the logical and computational properties of the Vitali covering theorem

Dag Normann, Sam Sanders. On the logical and computational properties of the Vitali covering theorem. Annals of Pure and Applied Logic, 176(1):103505, 2025. [doi]

Abstract

Abstract is missing.