32 citations · 91 across the 36 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2016
Cutting lemma and Zarankiewicz's problem in distal structures
Artem Chernikov, David Galvin, Sergei Starchenko
We establish a cutting lemma for definable families of sets in distal structures, as well as the optimality of the distal cell decomposition for definable families of sets on the p…
math.LO2010
Reverse mathematics and infinite traceable graphs
Peter Cholak, David Galvin, Reed Solomon
This paper falls within the general program of investigating the proof theoretic strength (in terms of reverse mathematics) of combinatorial principals which follow from versions o…