arXiv subjects

Damir D. Dzhafarov

Publications and source records attributed to Damir D. Dzhafarov.

26 records · Page 2Linked to original sources

arXiv2012

Limits to joining with generics and randoms

Posner and Robinson (1981) proved that if $S \subseteq ω$ is non-computable, then there exists a $G \subseteq ω$ such that $S \oplus G \geq_T G'$. Shore and Slaman (1999) extended this result to all $n \in ω$, by showing that if $S \nleq_T \emptyset^{(n-1)}$ then there exists a $G$ such that $S \oplus G \geq_T G^{(n)}$. Their argument employs Kumabe-Slaman forcing, and so the set they obtain, unlike that of the Posner-Robinson theorem, is not generic for Cohen forcing in any way. We answer the question of whether this is a necessary complication by showing that for all $n \geq 1$, the set $G$ of the Shore-Slaman theorem cannot be chosen to be even weakly 2-generic. Our result applies to several other effective forcing notions commonly used in computability theory, and we also prove that the set $G$ cannot be chosen to be 2-random.

math.LO↗

arXiv2012

On Mathias generic sets

We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if $G$ is any $n$-generic with $n \geq 3$ then it satisfies the jump property $G^{(n-1)} = G' \oplus \emptyset^{(n)}$. We prove that every such $G$ has generalized high degree, and so cannot have even Cohen 1-generic degree. On the other hand, we show that $G$, together with any bi-immune set $A \leq_T \emptyset^{(n-1)}$, computes a Cohen $n$-generic set.

math.LO↗

arXiv2012

Reverse mathematics and properties of finite character

We study the reverse mathematics of the principle stating that, for every property of finite character, every set has a maximal subset satisfying the property. In the context of set theory, this variant of Tukey's lemma is equivalent to the axiom of choice. We study its behavior in the context of second-order arithmetic, where it applies to sets of natural numbers only, and give a full characterization of its strength in terms of the quantifier structure of the formula defining the property. We then study the interaction between properties of finite character and finitary closure operators, and the interaction between these properties and a class of nondeterministic closure operators.

math.LO↗

arXiv2011

Computably enumerable partial orders

We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders, and show that the former is strictly stronger than the latter. We then show that every $\emptyset'$-computable structure (or even just of c.e.\ degree) has the same degree spectrum as some computably enumerable (co-c.e.)\ partial order, and hence that there is a c.e.\ (co-c.e.)\ partial order with spectrum equal to the set of nonzero degrees.

math.LO↗

arXiv2011

On the strength of the finite intersection principle

We study the logical content of several maximality principles related to the finite intersection principle ($F\IP$) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to $\ACA$ over $\RCA$, while others are strictly weaker, and incomparable with $\WKL$. We show that there is a computable instance of $F\IP$ all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to $F\IP$ implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $Σ^0_2$ induction, $F\IP$ lies strictly below the atomic model theorem ($\mathsf{AMT}$).

math.LO↗

arXiv2010

Infinite saturated orders

We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations in the context of reverse mathematics, showing that depending on one's choice of definitions it is either provable in $\mathsf{RCA}_0$ or equivalent to $\mathsf{ACA}_0$.

math.LO↗

arXiv2010

Stable Ramsey's theorem and measure

The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are non-null in a certain effective measure-theoretic sense. We show that the sets that can compute infinite homogeneous sets for non-null many computable stable colorings and the sets that can compute infinite homogeneous sets for all computable stable colorings agree below $\emp'$ but not in general. We also answer the analogs of two well known questions about the stable Ramsey's theorem by showing that our weaker principle does not imply $\mathsf{COH}$ or $\mathsf{WKL}_0$ in the context of reverse mathematics.

math.LO↗

arXiv2010

Reverse mathematics and equivalents of the axiom of choice

We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $\subseteq$-maximal subfamily with the finite intersection property and the principle asserting that if $P$ is a property of finite character then every set has a $\subseteq$-maximal subset of which $P$ holds. We show that these principles and their variations have a wide range of strengths in the context of second-order arithmetic, from being equivalent to $\mathsf{Z}_2$ to being weaker than $\mathsf{ACA}_0$ and incomparable with $\mathsf{WKL}_0$. In particular, we identify a choice principle that, modulo $Σ^0_2$ induction, lies strictly below the atomic model theorem principle $\mathsf{AMT}$ and implies the omitting partial types principle $\mathsf{OPT}$.

math.LO↗