The Method of Universal Instances

Add to your list(s) Download to your calendar using vCal

• Zhen Lin Low
• Sunday 22 February 2015, 16:30-17:00
• Winstanley Lecture Theatre, Trinity College.

If you have a question about this talk, please contact Mary Fortune.

Part of the TCSS Symposium

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.

This talk is part of the Trinity Mathematical Society series.

This talk is included in these lists:

• Guy Emerson's list
• Trinity Mathematical Society
• Winstanley Lecture Theatre, Trinity College
• bld31

Note that ex-directory lists are not shown.