@article{Shoenfield1990NonBoundingC, title={Non-Bounding Constructions}, author={Joseph R. Shoenfield}, journal={Ann. Pure Appl. Logic}, year={1990}, volume={50}, pages={191-205} }

- Published 1990 in Ann. Pure Appl. Logic
DOI:10.1016/0168-0072(90)90048-7

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

### Presentations referencing similar topics