School Seminars and Colloquia

$\Pi^{1}_{2}$ Sets and Singletons

School Seminar

by Leigh Humphries

Institution: University of Melbourne
Date: Wed 1st August 2007
Time: 4:30 PM
Location: Room 107, Richard Berry Building, Uni of Melbourne

Abstract: We present arguments due to Friedman and Harrington establishing the
equivalence of the following statements:

(a) Every real is constructible
(b) Every nonempty $\Pi^{1}_{2}$ contains a $\Pi^{1}_{2}$ singleton.

For More Information: Professor Greg Hjorth