Iterated trees of strategies and priority arguments (Q1387095)

The paper is sequel to a number of joint articles of the authors where a new general approach to priority constructions is developed. The approach allows to better understand already existing proofs including well-known theorems of Friedberg, Muchnik, Sacks, Lachlan and others, and can serve as a guide in finding new proofs. A broad overview of related results is enclosed.