TY - RPRT TI - Iterating logarithms and well-foundedness AU - Gervasio Figueroa AU - Joel Kuperman AU - Pedro Sánchez Terraf PY - 2026 UR - https://arxiv.org/abs/2611.04963 ID - 2611.04963 ER -