11 citations · 35 across the 26 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.LO2026
The weakness of typicality
Eric P. Astor, Laurent Bienvenu, Damir Dzhafarov +4
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 encompassi…
math.CO2026
Finite combinatorics and computability theory
Damir D. Dzhafarov, Jun le Goh
We prove that the existence of finite combinatorial objects such as affine planes, mutually orthogonal Latin squares, and resolvable balanced incomplete block designs can be reform…