Paul Erdos | v Saharon Shelah | v Amir Pnueli | v Thomas Henzinger | v Adam Chlipala