Non-Bounding Constructions

@article{Shoenfield1990NonBoundingC,
  title={Non-Bounding Constructions},
  author={Joseph R. Shoenfield},
  journal={Ann. Pure Appl. Logic},
  year={1990},
  volume={50},
  pages={191-205}
}
The object of this paper is to explain a certain type of construction which occurs in priority proofs and illustrate it with two examples due to Lachlan and Harrington. The proofs in the examples are essentially the original proofs; our main contribution is to isolate the common part of these proofs. The key ideas in this common part are due to Lachlan; we… CONTINUE READING