Since the Con(PA) thread snowballed from reflections on the Vienna meeting, you might be interested in the talks: http://videolectures.net/godelfellowship2011_friedman_ppf/ http://videolectures.net/godelfellowship2011_macintyre_fcm/