The weakness of typicality

Abstract: Many statements studied in reverse mathematics can be seen as mathematical problems, formulated in terms of instances and solutions. We develop a framework of typicality encompassing measure and genericity, and we classify the reverse mathematics zoo in terms of which problems admit typical solutions. It turns out that even very weak problems do not admit typical solutions.