Mingzhong Cai

15 papers C 1Journal 14
YearRankTypeTitle / Venue / Authors
2023 J jnl
Limit computability and ultrafilters.
Comput.
Uri Andrews, Mingzhong Cai, David Diamondstone, Noah Schweber
2016 J jnl
On Kalimullin pairs.
Comput.
Mingzhong Cai, Steffen Lempp, Joseph S. Miller, Mariya Ivanova Soskova
2016 J jnl
The complements of Lower cones of Degrees and the degree spectra of Structures.
J. Symb. Log.
Uri Andrews, Mingzhong Cai, Iskander Sh. Kalimullin, Steffen Lempp, Joseph S. Miller, Antonio Montalbán
2015 J jnl
On the existence of a strong minimal pair.
J. Math. Log.
George Barmpalias, Mingzhong Cai, Steffen Lempp, Theodore A. Slaman
2015 J jnl
Unprovability and Proving Unprovability.
Stud Logica
Mingzhong Cai
2014 J jnl
2-Minimality, jump classes and a note on natural definability.
Ann. Pure Appl. Log.
Mingzhong Cai
2014 J jnl
Random strings and tt-degrees of Turing complete C.E. sets.
Log. Methods Comput. Sci.
Mingzhong Cai, Rodney G. Downey, Rachel Epstein, Steffen Lempp, Joseph S. Miller
2013 J jnl
Low level nondefinability results: Domination and recursive enumeration.
J. Symb. Log.
Mingzhong Cai, Richard A. Shore
2012 J jnl
Array nonrecursiveness and relative recursive enumerability.
J. Symb. Log.
Mingzhong Cai
2012 J jnl
Degrees of Relative Provability.
Notre Dame J. Formal Log.
Mingzhong Cai
2012 J jnl
Domination, forcing, array nonrecursiveness and relative recursive enumerability.
J. Symb. Log.
Mingzhong Cai, Richard A. Shore
2012 J jnl
The n-R.E. Degrees: Undecidability and σ
J. Math. Log.
Mingzhong Cai, Richard A. Shore, Theodore A. Slaman
2011 C conf
Three Theorems on n-REA Degrees: Proof-Readers and Verifiers.
CiE
Mingzhong Cai
2010 J jnl
A 2-Minimal non-Gl
J. Math. Log.
Mingzhong Cai
2010 J jnl
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.
Notre Dame J. Formal Log.
Mingzhong Cai