The weakness of typicality
Eric P. Astor, Laurent Bienvenu, Damir Dzhafarov, Ludovic Patey, Paul Shafer, Reed Solomon, Linda Westrick
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.
Create a lesson
Related papers
A choice-free proof of the Erdös--Dushnik--Miller theorem
Guozhen Shen
Ampleness in the Farey graph
Zahra Mohammadi Khangheshlaghi, Rizos Sklinos
Baumslag-Solitar Subgroups Obstruct Model Companions for Fields with Group Actions
Makoto Yanagawa
The Composition Lemma for n-dependence
Artem Chernikov, Yuyan He
Modalities in non-classical variations of S4
Leonardo Pacheco
Infinite Communication Complexity and KW Games
Evan Leach