TY - RPRT TI - Extending the Veblen Function AU - Jayde Sylvie Massmann AU - Adrian Wang Kwon PY - 2023 UR - https://arxiv.org/abs/2310.12832 ID - 2310.12832 ER -