Mingzhong Cai

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 3

Top Topics

Recursive Functions

Minimal Subsets

Top Venues

Ann. Pure Appl. Log.

Log. Methods Comput. Sci.

Publications

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