D. Dzhafarov

activity

20102026

most citedOn the strength of the finite intersection principle

11 citations · 35 across the 26 of their papers we have counts for

collaborators

Showing 2015 · math.LOShow all

2 papers · 2 filters

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 $(D, S)$ of sets of natural numbers, in which $D$ is finite, $S$ is infinite, and $max D < min S$ . 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 $Π_{2}^{1}$ statements of second-order arithmetic, viewed as an extension of the traditional…