Mingzhong Cai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Limit computability and ultrafilters Computability	2023-09-13	Paper
On the Nonexistence of a Strong Minimal Pair	2022-11-20	Paper
Theory spectra and classes of theories Transactions of the American Mathematical Society	2017-06-14	Paper
THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES Journal of Symbolic Logic	2017-04-28	Paper
Defining totality in the enumeration degrees Journal of the American Mathematical Society	2016-07-25	Paper
On Kalimullin pairs Computability	2016-07-25	Paper
Asymptotic density, computable traceability, and 1-randomness Fundamenta Mathematicae	2016-07-08	Paper
On the existence of a strong minimal pair Journal of Mathematical Logic	2015-08-14	Paper
Another note on the join property Proceedings of the American Mathematical Society	2015-07-20	Paper
Unprovability and proving unprovability Studia Logica	2015-06-26	Paper
On the structure of the degrees of relative provability Israel Journal of Mathematics	2015-06-26	Paper
Random strings and truth-table degrees of Turing complete c.e. sets Logical Methods in Computer Science	2014-09-30	Paper
Low level nondefinability results: domination and recursive enumeration The Journal of Symbolic Logic	2014-01-07	Paper
2-minimality, jump classes and a note on natural definability Annals of Pure and Applied Logic	2013-12-10	Paper
Degrees of relative provability Notre Dame Journal of Formal Logic	2012-11-29	Paper
The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures Journal of Mathematical Logic	2012-09-06	Paper
Array nonrecursiveness and relative recursive enumerability Journal of Symbolic Logic	2012-04-19	Paper
Domination, forcing, array nonrecursiveness and relative recursive enumerability Journal of Symbolic Logic	2012-04-19	Paper
A 2-MINIMAL NON-GL₂ DEGREE Journal of Mathematical Logic	2011-10-24	Paper
Three theorems on \(n\)-REA degrees: proof-readers and verifiers Models of Computation in Context	2011-09-09	Paper
A hyperimmune minimal degree and an ANR 2-minimal degree Notre Dame Journal of Formal Logic	2010-12-01	Paper
Small covers over prisms Topology and its Applications	2007-07-09	Paper

Research outcomes over time

This page was built for person: Mingzhong Cai