RT22 does not imply WKL0 J Liu The Journal of Symbolic Logic 77 (2), 609-620, 2012 | 101 | 2012 |
Cone avoiding closed sets L Liu Transactions of the American Mathematical Society 367 (3), 1609-1630, 2015 | 29 | 2015 |
A computable analysis of variable words theorems L Liu, B Monin, L Patey Proceedings of the American Mathematical Society 147 (2), 823-834, 2019 | 7 | 2019 |
Primitive recursive reverse mathematics N Bazhenov, M Fiori-Carones, L Liu, A Melnikov Annals of Pure and Applied Logic 175 (1), 103354, 2024 | 6 | 2024 |
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 |
A computable analysis of majorizing martingales L Liu Bulletin of the London Mathematical Society 53 (3), 759-776, 2021 | 3 | 2021 |
Extracting randomness within a subset is hard B Kjos-Hanssen, L Liu European Journal of Mathematics 6 (4), 1438-1451, 2020 | 3 | 2020 |
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 | 2 | 2022 |
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 | 1 | 2023 |
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 |
Irreducibility of enumerable betting strategies G Barmpalias, L Liu arXiv preprint arXiv:2112.14416, 2021 | 1 | 2021 |
Avoid Schnorr randomness L Liu arXiv preprint arXiv:1912.09052, 2019 | 1 | 2019 |
The reverse mathematics of Carlson's theorem for located words T Bompard, L Liu, L Patey arXiv preprint arXiv:2208.03152, 2022 | | 2022 |
The combinatorial equivalence of a computability theoretic question L Liu arXiv preprint arXiv:2012.13588, 2020 | | 2020 |
Which DNR can be minimal L Liu arXiv preprint arXiv:1912.09053, 2019 | | 2019 |