Követés
Lu Liu
Lu Liu
E-mail megerősítve itt: csu.edu.cn
Cím
Hivatkozott rá
Hivatkozott rá
Év
RT22 does not imply WKL0
J Liu
The Journal of Symbolic Logic 77 (2), 609-620, 2012
982012
Cone avoiding closed sets
L Liu
Transactions of the American Mathematical Society 367 (3), 1609-1630, 2015
272015
A computable analysis of variable words theorems
L Liu, B Monin, L Patey
Proceedings of the American Mathematical Society 147 (2), 823-834, 2019
72019
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
62021
Primitive recursive reverse mathematics
N Bazhenov, M Fiori-Carones, L Liu, A Melnikov
Annals of Pure and Applied Logic 175 (1), 103354, 2024
32024
A computable analysis of majorizing martingales
L Liu
Bulletin of the London Mathematical Society 53 (3), 759-776, 2021
32021
Extracting randomness within a subset is hard
B Kjos-Hanssen, L Liu
European Journal of Mathematics 6 (4), 1438-1451, 2020
32020
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
12023
Coding information into all infinite subsets of a dense set
M Harrison-Trainor, L Liu, P Lutz
arXiv preprint arXiv:2306.01226, 2023
12023
The coding power of a product of partitions
L Liu
Israel Journal of Mathematics 255 (2), 645-683, 2023
12023
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
12022
Avoid Schnorr randomness
L Liu
arXiv preprint arXiv:1912.09052, 2019
12019
The reverse mathematics of Carlson's theorem for located words
T Bompard, L Liu, L Patey
arXiv preprint arXiv:2208.03152, 2022
2022
Irreducibility of enumerable betting strategies
G Barmpalias, L Liu
arXiv preprint arXiv:2112.14416, 2021
2021
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–16