![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Zhen Lin Low
Sunday 22 February 2015, 16:30-17:00
The Method of Universal Instances
â ī¸ Important: Part of the TCSS Symposium
- đ¤ Speaker: Zhen Lin Low
- đ Date & Time: Sunday 22 February 2015, 16:30 - 17:00
- đ Venue: Winstanley Lecture Theatre, Trinity College
Questions? Contact
Mary Fortune
Abstract
Suppose you want to check some propositions P_1, P_2, P_3, ... about a class C of mathematical objects. In this situation, a universal 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. Universal instances do not exist in general, but sometimes we can find exceptionally nice universal instances where it becomes much easier to check the propositions of interest. I will give some simple examples of this phenomenon, and time permitting, I may discuss general results.
Series This talk is part of the Trinity Mathematical Society series.
Included in Lists
Note: Ex-directory lists are not shown.