Ang Li 0035

dblp:33/2805-35 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2026
0000-0002-4163-5630ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2026 Countable ordered groups and Weihrauch reducibility
Ang Li 0035
Ann. Pure Appl. Log.1
2026 Introenumerability, Autoreducibility, and Randomness
abstract
Abstract We define upper Psi $\Psi $ Ψ -autoreducible sets given an autoreduction procedure upper Psi $\Psi $ Ψ . Then, we show that for any upper Psi $\Psi $ Ψ , a measurable class of upper Psi $\Psi $ Ψ -autoreducible sets has measure zero. Using this, we show that classes of cototal, uniformly introenumerable, introenumerable, and hyper-cototal enumeration degrees all have measure zero. By analyzing the arithmetical complexity of the classes of cototal sets and cototal enumeration degrees, we show that weakly 2-random sets cannot be cototal and weakly 3-random sets cannot be of cototal enumeration degree. Then, we see that this result is optimal by showing that there exists a 1-random cototal set and a 2-random set of cototal enumeration degree. For uniformly introenumerable degrees and introenumerable degrees, we utilize upper Psi $\Psi $ Ψ -autoreducibility again to show the optimal result that no weakly 3-random sets can have introenumerable enumeration degree. We also show that no 1-random set can be introenumerable.
Ang Li 0035
J. Symb. Log.1