TY - RPRT TI - Descending sequences in reflection hierarchies AU - Mateusz Łełyk AU - James Walsh PY - 2025 UR - https://arxiv.org/abs/2512.05263 ID - 2512.05263 ER -