Lu Liu

most citedPrimitive recursive reverse mathematics

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

collaborators

Showing math.LOShow all

3 papers · 1 filter

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…

math.LO2022

Carlson-Simpson's lemma and applications in reverse mathematics

Paul-Elliot Anglès d'Auriac, Bastien Mignoty, Lu Liu +1

We study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due to Carlson and Simpson. These theorems have multiple applications in Ramsey's theory, suc…

Primitive recursive reverse mathematics

Limit Complexities, Minimal Descriptions, and n-Randomness

Carlson-Simpson's lemma and applications in reverse mathematics

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