TY - RPRT TI - The Ramified Analytical Hierarchy using Extended Logics AU - Philip Welch PY - 2018 UR - https://arxiv.org/abs/1808.03814 ID - 1808.03814 ER -