Lipschitz Determinacy and Arithmetic Transfinite Recursion
摘要
We investigate the logical strength of Lipschitz determinacy, and the tightly related Semi-Linear Ordering principle, for the first levels of the Borel hierarchy in the Baire space. As a result, we obtain characterizations of \(\textsf{ATR}_{0}\) in terms of these determinacy principles.