Notes on Laver Tables
We present some new lower bound estimates for certain numbers in Laver table theory and introduce several related structures of interest.
math.LO↗
arXiv subjects
Renrui Qi
Publications and source records attributed to Renrui Qi.
The Point-to-Set Principle and the Dimensions of Hamel Bases
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 particular interest. The statement of our theorem is classical; it does not involve the theory of computing. However, our proof makes essential use of algorithmic fractal dimension--a computability-theoretic construct--and the point-to-set principle of J. Lutz and N. Lutz (2018).
cs.LO↗