Kai Hauser The Consistency Strength of Projective Absoluteness. 245-295 1995 74 Ann. Pure Appl. Logic 3 db/journals/apal/apal74.html#Hauser95