Non-Bounding Constructions

  title={Non-Bounding Constructions},
  author={Joseph R. Shoenfield},
  journal={Ann. Pure Appl. Logic},
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