Searcharxiv⌕ Search

arXiv subjects

Mingzhong Cai

Publications and source records attributed to Mingzhong Cai.

5 recordsLinked to original sources
arXiv2022

On the Nonexistence of a Strong Minimal Pair

Two nonzero recursively enumerable (r.e.) degrees $\mathbf{a}$ and $\mathbf{b}$ form a strong minimal pair if $\mathbf{a} \wedge \mathbf{b}=\mathbf{0}$ and $\mathbf{b}\vee \mathbf{x}\geq \mathbf{a}$ for any nonzero r.e. degree $\mathbf{x}\leq \mathbf{a}$. We prove that there is no strong minimal pair in the r.e. degrees. Our construction goes beyond the usual $\mathbf{0}'''$-priority arguments and we give some evidence to show that it needs $\mathbf{0}^{(4)}$-priority arguments.

math.LO↗
arXiv2015

DNR and incomparable Turing degrees

We construct an increasing $ω$-sequence $(a_n)$ of Turing degrees which forms an initial segment of the Turing degrees, and such that each~$a_{n+1}$ is diagonally noncomputable relative to $a_n$. It follows that the~$\mathsf{DNR}$ principle of reverse mathematics does not imply the existence of Turing incomparable degrees.

math.LO↗
arXiv2014

Random strings and tt-degrees of Turing complete C.E. sets

We investigate the truth-table degrees of (co-)c.e.\ sets, in particular, sets of random strings. It is known that the set of random strings with respect to any universal prefix-free machine is Turing complete, but that truth-table completeness depends on the choice of universal machine. We show that for such sets of random strings, any finite set of their truth-table degrees do not meet to the degree~0, even within the c.e. truth-table degrees, but when taking the meet over all such truth-table degrees, the infinite meet is indeed~0. The latter result proves a conjecture of Allender, Friedman and Gasarch. We also show that there are two Turing complete c.e. sets whose truth-table degrees form a minimal pair.

cs.LO↗
arXiv2007

Small Covers over Prisms

In this paper we calculate the number of equivariant diffeomorphism classes of small covers over a prism.

math.DG↗