2 papers
math.LO2025
Notes on Laver Tables
Renrui Qi
We present some new lower bound estimates for certain numbers in Laver table theory and introduce several related structures of interest.
cs.LO2021
The Point-to-Set Principle and the Dimensions of Hamel Bases
Jack H. Lutz, Renrui Qi, Liang Yu
We prove that every real number in [0,1] is the Hausdorff dimension of a Hamel basis of the vector space of reals over the field of rationals. The logic of our proof is of particul…