11 citations · 35 across the 26 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015
Generics for Mathias forcing over general Turing ideals
Peter A. Cholak, Damir D. Dzhafarov, Mariya I. Soskova
In Mathias forcing, conditions are pairs of sets of natural numbers, in which is finite, is infinite, and . The Turing degrees and computational ch…
math.LO2015
Strong reductions and combinatorial principles
Damir D. Dzhafarov
This paper is a contribution to the growing investigation of strong reducibilities between statements of second-order arithmetic, viewed as an extension of the traditional…
cs.AI2015
Classificatory Sorites, Probabilistic Supervenience, and Rule-Making
Damir D. Dzhafarov, Ehtibar N. Dzhafarov
We view sorites in terms of stimuli acting upon a system and evoking this system's responses. Supervenience of responses on stimuli implies that they either lack tolerance (i.e., t…