| RT22 does not imply WKL0 J Liu The Journal of Symbolic Logic 77 (2), 609-620, 2012 | 107 | 2012 |
| Cone avoiding closed sets L Liu Transactions of the American Mathematical Society 367 (3), 1609-1630, 2015 | 31 | 2015 |
| Primitive recursive reverse mathematics N Bazhenov, M Fiori-Carones, L Liu, A Melnikov Annals of Pure and Applied Logic 175 (1), 103354, 2024 | 10 | 2024 |
| A computable analysis of variable words theorems L Liu, B Monin, L Patey Proceedings of the American Mathematical Society 147 (2), 823-834, 2019 | 8 | 2019 |
| The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma C Chong, W Li, L Liu, Y Yang Transactions of the American Mathematical Society 374 (8), 5545-5581, 2021 | 6 | 2021 |
| The reverse mathematics of the thin set and Erdős–Moser theorems L Liu, L Patey The Journal of Symbolic Logic 87 (1), 313-346, 2022 | 4 | 2022 |
| Extracting randomness within a subset is hard B Kjos-Hanssen, L Liu European Journal of Mathematics 6 (4), 1438-1451, 2020 | 3 | 2020 |
| Carlson-Simpson's lemma and applications in reverse mathematics PEA d'Auriac, L Liu, B Mignoty, L Patey Annals of Pure and Applied Logic 174 (9), 103287, 2023 | 2 | 2023 |
| Irreducibility of enumerable betting strategies G Barmpalias, L Liu arXiv preprint arXiv:2112.14416, 2021 | 2 | 2021 |
| A computable analysis of majorizing martingales L Liu Bulletin of the London Mathematical Society 53 (3), 759-776, 2021 | 2 | 2021 |
| Coding information into all infinite subsets of a dense set M Harrison-Trainor, L Liu, P Lutz arXiv preprint arXiv:2306.01226, 2023 | 1 | 2023 |
| The coding power of a product of partitions L Liu Israel Journal of Mathematics 255 (2), 645-683, 2023 | 1 | 2023 |
| The combinatorial equivalence of a computability theoretic question L Liu arXiv preprint arXiv:2012.13588, 2020 | 1 | 2020 |
| Which DNR can be minimal L Liu arXiv preprint arXiv:1912.09053, 2019 | 1 | 2019 |
| Avoid Schnorr randomness L Liu arXiv preprint arXiv:1912.09052, 2019 | 1 | 2019 |
| Integer-valued martingales and cl-Turing reductions N Fang, L Liu, L Yu Theoretical Computer Science 1040, 115202, 2025 | | 2025 |
| Limit complexities, minimal descriptions, and N-randomness R Downey, L Liu, KM Ng, D Turetsky The Journal of Symbolic Logic, 1-16, 2024 | | 2024 |
| The reverse mathematics of Carlson's theorem for located words T Bompard, L Liu, L Patey arXiv preprint arXiv:2208.03152, 2022 | | 2022 |
