Lu Liu

most citedPrimitive recursive reverse mathematics

4 citations · 4 across the 2 of their papers we have counts for

collaborators

2 papers

math.LO2022★ 4 cited

Primitive recursive reverse mathematics

Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu +1

We use a second-order analogy $PRA^{2}$ of $PRA$ to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics.…

math.LO2022

Limit Complexities, Minimal Descriptions, and $n$ -Randomness

Rodney Downey, Lu Liu, Keng Meng Ng +1

Let $K$ denote prefix-free Kolmogorov Complexity, and $K^{A}$ denote it relative to an oracle $A$ . We show that for any $n$ , $K^{\emptyset^{(n)}}$ is definable purely in terms of the…

Primitive recursive reverse mathematics

Limit Complexities, Minimal Descriptions, and n-Randomness

Limit Complexities, Minimal Descriptions, and $n$ -Randomness