Wei Li

From MaRDI portal
(Redirected from Person:334989)
Wei Li Q334989



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!

PublicationDate of PublicationType
Learnability and positive equivalence relations
Information and Computation
2024-02-02Paper
Random Subgroups of Rationals
(available as arXiv preprint)
2022-07-21Paper
Deciding Parity Games in Quasi-polynomial Time
SIAM Journal on Computing
2022-05-03Paper
Learnability and positive equivalence relations
(available as arXiv preprint)
2021-10-04Paper
The strength of Ramsey's theorem for pairs over trees. I: Weak König's lemma
Transactions of the American Mathematical Society
2021-08-02Paper
Deciding parity games in quasipolynomial time
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing
2017-08-17Paper
Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory
Archive for Mathematical Logic
2016-11-01Paper
\(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction
Israel Journal of Mathematics
2014-10-24Paper
Nonstandard models in recursion theory and reverse mathematics
The Bulletin of Symbolic Logic
2014-10-21Paper
Friedberg numbering in fragments of Peano arithmetic and -recursion theory
Journal of Symbolic Logic
2014-04-04Paper


Research outcomes over time


This page was built for person: Wei Li