2 papers
math.LO2023
Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E
James S. Barnes, Jun Le Goh, Richard A. Shore
Halin [1965] proved that if a graph has many pairwise disjoint rays for each then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other…
math.LO2023
Redundancy of information: lowering dimension
Jun Le Goh, Joseph S. Miller, Mariya I. Soskova +1
Let At denote the set of infinite sequences of effective dimension t. We determine both how close and how far an infinite sequence of dimension s can be from one of dimension t, me…