TY - RPRT TI - Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E AU - James S. Barnes AU - Jun Le Goh AU - Richard A. Shore PY - 2023 UR - https://arxiv.org/abs/2308.14287 ID - 2308.14287 ER -