Talk Friday, July 8, 2005 10:30 to be announced Roman Kotecký (Charles University Prague) G3 10 (Lecture hall)