BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Method of Universal Instances - Zhen Lin Low
DTSTART:20150222T163000Z
DTEND:20150222T170000Z
UID:TALK58158@talks.cam.ac.uk
CONTACT:Mary Fortune
DESCRIPTION:Suppose you want to check some propositions P_1\, P_2\, P_3\, 
 ... about a class C of mathematical objects. In this situation\, a univers
 al instance is an object A in the class C such that\, for each n\, P_n is 
 true for A if and only if P_n is true for every object in the class C. Uni
 versal instances do not exist in general\, but sometimes we can find excep
 tionally nice universal instances where it becomes much easier to check th
 e propositions of interest. I will give some simple examples of this pheno
 menon\, and time permitting\, I may discuss general results.
LOCATION:Winstanley Lecture Theatre\, Trinity College
END:VEVENT
END:VCALENDAR