Mingzhong Cai

Available identifiers

Publication	Date of Publication	Type
Limit computability and ultrafilters	2023-09-13	Paper
On the Nonexistence of a Strong Minimal Pair	2022-11-20	Paper
Theory spectra and classes of theories	2017-06-14	Paper
THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES	2017-04-28	Paper
Defining totality in the enumeration degrees	2016-07-25	Paper
On Kalimullin pairs	2016-07-25	Paper
Asymptotic density, computable traceability, and 1-randomness	2016-07-08	Paper
On the existence of a strong minimal pair	2015-08-14	Paper
Another note on the join property	2015-07-20	Paper
Unprovability and proving unprovability	2015-06-26	Paper
On the structure of the degrees of relative provability	2015-06-26	Paper
Random strings and truth-table degrees of Turing complete c.e. sets	2014-09-30	Paper
Low level nondefinability results: domination and recursive enumeration	2014-01-07	Paper
2-minimality, jump classes and a note on natural definability	2013-12-10	Paper
Degrees of relative provability	2012-11-29	Paper
The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures	2012-09-06	Paper
Array nonrecursiveness and relative recursive enumerability	2012-04-19	Paper
Domination, forcing, array nonrecursiveness and relative recursive enumerability	2012-04-19	Paper
A 2-MINIMAL NON-GL₂ DEGREE	2011-10-24	Paper
Three Theorems on n-REA Degrees: Proof-Readers and Verifiers	2011-09-09	Paper
A hyperimmune minimal degree and an ANR 2-minimal degree	2010-12-01	Paper
Small covers over prisms	2007-07-09	Paper

This page was built for person: Mingzhong Cai