Selman, Alan L Applications of forcing to definability problems in the arithmetical hierarchy Alan L. Selman - Carnegie-Mellon Universite Carnegie- Mellon 1970 - 35 p 27 cm - Report 70-52 . Lucrarea este multigrafiata