A Pi(1)(1)-Uniformization Principle For Reals

C. T. Chong,Liang Yu
DOI: https://doi.org/10.1090/S0002-9947-09-04783-7
IF: 1.3529
2009-01-01
Transactions of the American Mathematical Society
Abstract:We introduce a Pi(1)(1)-uniformization principle and establish its equivalence with the set-theoretic hypothesis (omega(1))(L) = omega(1). This principle is then applied to derive the equivalence, to suitable set-theoretic hypotheses, of the existence of Pi(1)(1)-maximal chains and thin maximal antichains in the Turing degrees. We also use the Pi(1)(1)-uniformization principle to study Martin's conjectures on cones of Turing degrees, and show that under V = L the conjectures fail for uniformly degree invariant Pi(1)(1) functions.
What problem does this paper attempt to address?