Obserwuj
Lu Liu
Tytuł
Cytowane przez
Cytowane przez
Rok
RT22 does not imply WKL0
J Liu
The Journal of Symbolic Logic 77 (2), 609-620, 2012
932012
Cone avoiding closed sets
L Liu
Transactions of the American Mathematical Society 367 (3), 1609-1630, 2015
252015
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
A computable analysis of variable words theorems
L Liu, B Monin, L Patey
Proceedings of the American Mathematical Society 147 (2), 823-834, 2019
42019
Extracting randomness within a subset is hard
B Kjos-Hanssen, L Liu
European Journal of Mathematics 6 (4), 1438-1451, 2020
32020
A computable analysis of majorizing martingales
L Liu
Bulletin of the London Mathematical Society 53 (3), 759-776, 2021
22021
Primitive recursive reverse mathematics
N Bazhenov, M Fiori-Carones, L Liu, A Melnikov
Annals of Pure and Applied Logic 175 (1), 103354, 2024
12024
Coding information into all infinite subsets of a dense set
M Harrison-Trainor, P Lutz
arXiv preprint arXiv:2306.01226, 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
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
2023
The coding power of a product of partitions
L Liu
Israel Journal of Mathematics 255 (2), 645-683, 2023
2023
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–16