11 citations · 35 across the 26 of their papers we have counts for
5 papers · 2 filters
A note on the reverse mathematics of the sorites
Damir D. Dzhafarov
Sorites is an ancient piece of paradoxical reasoning pertaining to sets with the following properties: (Supervenience) elements of the set are mapped into some set of "attributes",…
Coloring trees in reverse mathematics
Damir Dzhafarov, Ludovic Patey
The tree theorem for pairs (), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binar…
The uniform content of partial and linear orders
Eric P. Astor, Damir D. Dzhafarov, Reed Solomon +1
The principle asserts that every linear order on has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature…
Effectiveness of Hindman's theorem for bounded sums
Damir D. Dzhafarov, Carl G. Jockusch, Reed Solomon +1
We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified fin…
Ramsey's theorem for singletons and strong computable reducibility
Damir D. Dzhafarov, Ludovic Patey, Reed Solomon +1
We answer a question posed by Hirschfeldt and Jockusch by showing that whenever , Ramsey's theorem for singletons and -colorings, , is not strongly co…