Manuel Lerman is a Professor Emeritus of the Department of Mathematics at the University of Connecticut. He is the author of Degrees of Unsolvability: Local and Global Theory, has been the managing editor for the book series Perspectives in Mathematical Logic, has been an editor of Bulletin for Symbolic Logic, and is an editor of the ASL's Lecture Notes in Logic series.
1. Introduction; 2. Systems of trees of strategies; 3.
1 constructions; 4.
2 constructions; 5. µ2 constructions; 6.
3 constructions; 7.
3 constructions; 8. Paths and links; 9. Backtracking; 10. Higher level constructions; 11. Infinite systems of trees.
